Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [set-theory]

forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.

19
votes
1answer
833 views

Fubini without CH

In Real and Complex Analysis, Rudin gives an example (due to Sierpinski) of a function $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument, such that $$ \int_0^1 dx\int_0^1f(x,y)\,dy \...
2
votes
1answer
137 views

Induced minors of $\{0,1\}^\omega$

Let $G=(V,E)$ be a simple, undirected graph. Suppose that ${\cal S}$ is a collection of non-empty, connected, and pairwise disjoint subsets of $V$. Let $G({\cal S})$ be the graph with vertex set ${\...
0
votes
1answer
148 views

Axiom of Regularity (set theory) - trying to understand it [closed]

I'm doing my first steps in set theory and have a question about the Axiom of Regularity. AoR states: $\forall x (x\neq \emptyset \rightarrow \exists (y \in x) x \cap y = \emptyset)$. What causes my ...
-3
votes
1answer
276 views

Can there be elementary embedding between a universe and a universe inside it?

[EDIT] the prior question (see the second section below) was trivially false, however the intention is to arrange a possible world of such universes, in other words the question is about if it is ...
1
vote
1answer
132 views

Strength of BTEE

What is the consistency strength of Basic Theory of Elementary Embeddings (BTEE) from The spectrum of elementrary embeddings j : V → V by Paul Corazza? BTEE uses the language of $(V,∈,j)$ and asserts:...
-1
votes
1answer
75 views

Finding a good transversal basis

A hypergraph $H=(V,E)$ consists of an non-empty set $V$ and a collection $E\subseteq {\cal P}(V)\setminus \{\emptyset\}$ of non-empty subsets of $V$. A transversal of $H$ is a set $T\subseteq V$ such ...
0
votes
0answers
92 views

Is there a clear inconsistency with intense reflection of top properties of the universe?

Let $V$ be the class of all sets, where sets are defined like in $MK$ as elements of classes. Properties of $V$ whose negations are unbounded (by element-hood & subset-hood) in $V$ would be ...
0
votes
0answers
357 views

What is the consistency status of this theory?

Let $K_2^+(W)$ be the following theory in the language $L(\in,W)$ with the constant symbol $W$. Extensionality: $\forall x (x \in a \leftrightarrow x \in b) \to a=b$ $\mathcal{Define:} \ set(x) \iff ...
8
votes
0answers
177 views

α-Mahlo vs weakly compact cardinals

Question: What is the consistency strength of existence of a $(κ^{++})^L$-Mahlo cardinal $κ$? I am particularly interested in how the strength compares to weakly compact cardinals (and other levels ...
16
votes
1answer
544 views

How is this fixed point theorem related to the axiom of choice?

I'm hoping the answer to this is well-known. Let $X$ be an ordered set (i.e. poset). An inflationary operator $f$ on $X$ is a function $f: X \to X$, not necessarily order-preserving, such that $f(x) ...
2
votes
1answer
329 views

Can Ackermann set theory find a natural interpretation in light\heavy class dichotomy?

I want to coin the notion of heaviness of a class as a function from classes to ordinals such that $$heaviness(x)=|TC(x)|$$, i.e. the heaviness of a class is the cardinality of its transitive closure. ...
13
votes
0answers
256 views

Consistency strength of $j:L_δ→L_δ$ for some δ

What is the consistency strength of existence of a nontrivial elementary embedding $j:L_δ→L_δ$ for some ordinal $δ$? The consistency strength is strictly between totally ineffable and $ω$-Erdős ...
0
votes
0answers
65 views

Is Reflective Set Theory stronger than $\small {\mathsf{ARC}}$?

By $\mathsf{RfST}$ its meant Reflective Set Theory exposited in this posting I'll pose two specific questions here: Is $\mathsf{ARC}$ class theory a proper sub-theory of $\mathsf{RfST}$? Is $...
2
votes
0answers
261 views

Does this axiomatic system satisfy requirements for founding mathematics?

In this article, the author, F.A.Muller, suggests criteria for a founding theory of mathematics (pp:14-16). The author proposes $ARC$ Class Theory to embody these requirements. The motivation is ...
3
votes
0answers
179 views

Arithmetic sums of Marczewski null sets

First, recall the Marczewski ideal, called $s^0$: a set $A$ of reals is in $s^0$ iff for every perfect set $P$ there is some perfect $P' \subset P$ such that $P' \cap A = \emptyset$. Secondly, by way ...
5
votes
1answer
199 views

Ordinal Exponentiation Levy Hierarchy

It is a standard exercise (see Jech's "Set Theory" Exercise 13.8) to prove that ordinal addition and multiplication are $\Delta_1$ expressible functions. The proof for addition comes from noting that ...
11
votes
0answers
641 views

Toposophy vs Set theoretical multiverse philosophy

Johnstones classic topos theory book talks at some length in its introduction about how category theory/topos theory suggest that we view the 'universe' in which mathematics takes place as consisting ...
1
vote
1answer
141 views

On a combinatorial set covering property

Let $\kappa < \lambda < \mu$ be infinite cardinals. Is there a collection ${\cal U}\subseteq {\cal P}(\mu)$ of subsets of $\mu$ with the following properties? for all $U\in {\cal U}$ we have $|...
2
votes
1answer
178 views

Another question concerning p and t

I refer to an article concerning p and t : edited Sep 14 '17 at 2:48 / Bjørn Kjos-Hanssen answered Sep 13 '17 at 21:50 / Mark Fischler I already asked a question December 14th 2018 and I received ...
0
votes
0answers
109 views

Can reflection in $V$ and reflection out of $V$ principles be used in the same theory?

I've noticed that most of the work in Ackermann set theory is primarily concerned with constructing sets in $V$, the rest of the classes are just excess material, carrying no comprehension over them. ...
4
votes
0answers
113 views

Can this reflective class theory interpret ZFC?

Reflective Set Theory $\mathsf{RfST}$ is formulated in first order predicate logic with extra-logical primitives of equality $``="$, membership $``\in"$, and a single primitive constant symbol $V$ ...
7
votes
1answer
202 views

Effective set= ordinal definable set

I just today realized that the concept of ordinal definability is defined in a different way by vopenka-Balcar-Hajek ``The notion of effective sets and a new proof of the consistency of the axiom of ...
0
votes
0answers
68 views

What is the limit to iterating class comprehension, reflection and limitation of size?

In posting about a reflection principle coupled with a limitation of size axiom over Ackermann set theory, the answer is that the theory is blown up to a Mahlo cardinal. I'm here just wondering if ...
9
votes
0answers
235 views

Reflection principle for intuitionistic Zermelo–Fraenkel?

The well-known reflection principle for classical Zermelo–Fraenkel states: For any formula $\varphi(x_1,\ldots,x_n)$ of the language of ZFC with free variables $x_1,\ldots,x_n$, ZFC proves $$ \...
1
vote
0answers
571 views

A new generalization of the dimension?

During my research, I came a cross on these notions : Definition 1: A structure $S$, is a pair $(X, \mathcal T)$ with $X$ a set and $\mathcal T$ a set of subsets of $X$, stable by arbitrary ...
3
votes
1answer
163 views

What is the strength of adding limitation of size and a simple version of reflection to Ackermann set theory?

The following theory is formulated in first order predicate logic with extra-logical primitives of equality $``="$, membership $``\in"$, and a single primitive constant symbol $V$ denoting the class ...
6
votes
0answers
272 views

measure of generic reals in forcing extensions

It is well-known that if $V[G]$ is a generic extension by adding a Cohen real, then the set $\{r \in V[G]: r$ is Cohen generic over $V\}$ has measure zero. On the other hand, if $V[G]$ is a generic ...
0
votes
0answers
118 views

What is the consistency strength of this kind of reflection principle?

If $\psi$ is a predicate that is definable in $FOL(\in,=)$ by a formula from parameters in $V$, then if $\psi$ hold of the class $\small ORD$ of all ordinals in $V$, then the class of all cardinals in ...
3
votes
0answers
109 views

Embeddability into $\beta\omega$ and $\omega^*$

It is well known that under CH every totally-disconnected compact F-space of weight at most $\omega_1$ can be embedded into the remainder $\omega^*=\beta\omega\setminus\omega$ of the Cech-Stone ...
2
votes
1answer
104 views

Non-discrete $T_2$-space $(X,\tau)$ with $2^{|X|}$ retracts

If $(X,\tau)$ is a topological space, we call $A\subseteq X$ a retract if there is a continous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$ (we assume $A$ to be endowed with the subspace ...
9
votes
1answer
190 views

Rothberger property for finite covers

Let us recall that a topological space $X$ has the Rothberger property if for any sequence $(\mathcal U_n)_{n\in\omega}$ of open covers of $X$ there exists a sequence $(U_n)_{n\in\omega}\in\prod_{n\...
1
vote
1answer
136 views

Descending almost-contained subsets of $\omega$ [closed]

Let $A$ be an infinite subset of $\omega$ such that $\omega\setminus A$ is also infinite. Under the Continuum Hypothesis is there a sequence $(A_\alpha)_{\alpha<\omega_1}$ of subsets of $\omega$ ...
4
votes
0answers
280 views

A strong plus-one hypothesis

To make this more easily readable, I'll start with the question and then give the explanation/motivation. Question. Is the following principle (or its weakening, with "for every real $r$" replaced ...
10
votes
3answers
780 views

Are inclusions “canonical” injections?

[Background: I asked a vague question the other day, but as a result of the answers, particularly Andrej Bauer's, I now have a precise question] Summary of question: the inclusions are a particularly ...
4
votes
0answers
107 views

A question about the products of power set sigma algebras

Let $\kappa$ be the least cardinal for which the sigma algebra generated by $\{A \times B: A,B \subseteq \kappa\}$ does not contain every subset of $\kappa \times \kappa$. It is known that $\kappa$ is ...
3
votes
0answers
140 views

Compactification of Tychonoff spaces without full axiom of choice

If $X$ is a Tychonoff space, then using the Tychonoff theorem and thus the full axiom of choice, it follows that $X$ admits a Hausdorff compactification. My question is : what remains true if we do ...
9
votes
0answers
197 views

Sacks property for higher cardinals

It is well known, that the Sacks forcing has the property that for any $f: \omega \rightarrow \omega$ in generic extension, one can obtain $F:\omega \rightarrow [\omega]^{<\omega}$ in ground model, ...
13
votes
0answers
270 views

Covering S2 with great circles

Let $S_2$ be the unit 2-dimensional sphere. Is there a way to cover it with great circles such that each point on $S_2$ has 1 or 2 great circles that go through it?
7
votes
1answer
424 views

Destroying Suslin, nothing special

Recall that a tree on $\omega_1$ is called Suslin if every chain and antichain are countable. If every level is countable and there are no cofinal branches, then it is called Aronszajn (in particular ...
0
votes
0answers
135 views

Is “ZF+ V=L” an upper limit theory for cardinal decidability (per its strength)?

{EDIT: this posting has been edited, the additional text is in italics} If $\varphi, \psi$ are two parameter free formulas in the language of set theory $T$ such that there is a theorem of $T$ that ...
3
votes
0answers
208 views

Formal foundations done properly [closed]

I would want to do mathematics properly, so that the proofs of results can be trusted on instead of them being just suggestions on which results could perhaps apply. This means formulating the math in ...
8
votes
1answer
142 views

Is there a minimal extension of $L$ that is not a forcing extension?

It's well known that Sacks forcing constructs a real of minimal constructability degree, i.e. a real $x$ such that for any $y\in L(x) \setminus L$, $L(y) = L(x)$. It's also well known that certain ...
7
votes
1answer
162 views

Does $\mathsf{MA}^+(\sigma-{\rm closed})$ imply there are no Kurepa Trees?

The question in the title is somewhat self contained but let me make some definitions and remarks to clarify. Recall that $\mathsf{MA}^+(\sigma-{\rm closed})$ is the statement that if $\mathbb P$ is ...
5
votes
0answers
344 views

The surreal numbers under a change of universe

Suppose we start with a model $\mathcal{M}$ of $ZFC$ (or $GBC$ or $MK$ if you prefer), and let $N_0^\mathcal{M}$ denote the surreals in $\mathcal{M}$. If we add some large cardinal assumptions $\{\...
5
votes
1answer
380 views

Base zero-dimensional spaces

Definition. A zero-dimensional topological space $X$ is called base zero-dimensional if for any base $\mathcal B$ of the topology that consists of closed-and-open sets in $X$, any open cover $\mathcal ...
22
votes
3answers
953 views

How many sigma algebras exist on $\mathbb{R}$?

On the one hand, there are at least $2^\mathfrak{c}$ sigma algebras on $\mathbb{R}$: one can take any subset $A$ of $\mathbb{R}$ and consider a sigma algebra $\{\emptyset, A, \bar A, \mathbb{R}\}$ On ...
1
vote
1answer
146 views

What is the strength of this strict constructible iterative hierarchy?

Begin with the empty set then construct the set of the empty set, then construct the set of all subsets of the latter set, then at each level of construction construct the next level as the set all ...
1
vote
1answer
200 views

Is Replacement motivated by ranked iterative conception of sets?

When one reads the Wikipedia article on the Von Neumann Universe, one gets the impression that the idea of "the cumulative hierarchy" serves as a motivation for $ZFC$. I don't see really how this is ...
16
votes
1answer
517 views

Is there a pair of non-isomorphic structures each of which is isomorphic to an ultrapower of the other?

Does there exist a pair of non-isomorphic structures $\mathfrak{A}$ and $\mathfrak{B}$ as well as sets $I$ and $J$ and ultrafilters $\mathcal{U}$ on $I$ and $\mathcal{F}$ on $J$ such that $\mathfrak{A}...
4
votes
0answers
131 views

Reference request: destroying saturation at an inaccessible?

An ideal $I$ on $P(\kappa)$ is said to be $\kappa^+$-saturated if there is no sequence $\langle S_\alpha \mid \alpha<\kappa^+\rangle$ of $I^+$ sets such that $\alpha<\beta<\kappa^+\implies S_\...