This tag is for set theory topics typically studied at the advanced undergraduate or graduate level. These include cofinality, axioms of ZFC, axiom of choice, forcing, set-theoretic independence, large cardinals, models of set theory, ultrafilters, ultrapowers, constructible universe, inner model ...

learn more… | top users | synonyms

5
votes
2answers
461 views

Is ZFC without Axiom of Infinity consistent?

The incompleteness theorem states that one cannot prove whether ZF or ZFC is consistent, but what about ZFC withouth Axiom of infinity? (Assuming the empty set exists) Furthermore, let $M$ be a ...
-2
votes
0answers
47 views

Can we consider each first order structure as a pure set?

Pure sets are the simplest kind of first order structures in the language $\mathcal{L}=\emptyset$. As same as any other generalization, the notion of a first order structure preserves some properties ...
1
vote
0answers
39 views

Is consistency strength order dense?

Definition: Let $\sigma$, $\theta$ be two statement in the language of set theory. We say $\sigma <_{c} \theta$ ($\sigma$ is strictly lower than $\theta$ in consistency strength order) if within ...
3
votes
1answer
43 views

A question about second-order logic and inaccessible cardinals.

Let $\kappa$ denote an inaccessible cardinal, and suppose $T \in V_\kappa$ is a second-order theory. Now consider some mathematical structure $X \in V_\kappa$. Then I think it is clear that $X \models ...
1
vote
1answer
22 views

Writing the ZF formula for the choice function (given Well-ordering)

If every set has a well order, then the axiom of choice follows: Given a well order on $\bigcup_{i \in I} A_i$ we define the choice function in this way $f(i) =$ "the first element of $\bigcup_{i \in ...
1
vote
1answer
50 views

Comprehension and Impredicativity

Wang and McNaughton (Les Systemes Axiomatiques de la Theorie des Ensembles, 1953) discuss briefly the topic of impredicativity in chapter 2 (titled 'Type Theory') of the above mentioned book, but I'm ...
-2
votes
1answer
29 views

axiom of regularity and power sets [on hold]

So axiom of regularity works for any non-empty set. Is that means that a set like this {aab, +, 50, ), (, **} and all of it's subsets are actually made of empty sets? And not just sets, but power ...
8
votes
0answers
91 views

Why is ZF favoured over NBG

So why is ZF favoured over NBG? Is it historical, but I've read after Gödel's monograph was published, NBG was more prominent. Or is the reason that NBG gets the cold shoulder to do with forcing and ...
2
votes
1answer
36 views

What is the definition of the Feferman-Levy model?

Any (reference to) definition of Feferman-Levy model in set theory? I cannot find any... Though I know what is Levy collapse.
0
votes
1answer
17 views

Redundancy in definiton for forcing poset

The following definition appears in Kunen (2nd edition): For any sets $I,J$ and cardinal $\lambda$: $\text{Fn}_{\lambda}(I,J)$ is the set of all $p\in{[I\times{J}]}^{<\lambda}$ such that $p$ is ...
2
votes
1answer
16 views

Uniqueness in transfinite recursion.

Theorem of transfinite recursion: Given a well-ordered set $A$ let $\varphi(g,y)$ be a ZF formula such that for every $a \in A$ and every function $g$ with domain $I_a$ (where $I_a$ is the initial ...
2
votes
1answer
35 views

If a version of GCH holds for Chang's $\kappa$-constructibility, does a version of GCH hold for $L_{\infty}$?

In C.C. Chang's paper "Sets Constructible Using $L_{\kappa \kappa}$" one can "deduce a version of the GCH, theorem VI [(iv)--my comment], assuming that all sets are $\kappa$-constructible." Now ...
2
votes
0answers
119 views

Are there any good documentary films about the continuum hypothesis?

Are there any good documentary films about the continuum hypothesis? I'm looking for something slightly more serious than the usual "Cantor showed that infinity plus one equals infinity and then went ...
6
votes
1answer
104 views

Why is adding Cohen reals so “uninteresting”?

I read the following in this paper (Otmar Spinas, Proper products. Proceedings of the AMS, 137 (8), (2009), 2767–2772): $ \mathbb{L}^2 $ adds a Cohen real. Thus it was considered uninteresting ...
2
votes
2answers
88 views

Examples of figures whose area depend on axiom of choice

Many times I have heard that there are some 'figures' whose area is not fixed and they depend on axiom of choice. For example, In this answer. In this lecture about probabilty. I did not know ...
3
votes
6answers
539 views

Proof that aleph null is the smallest transfinite number?

The wikipedia page on the cardinal numbers says that $\aleph_0$, the cardinality of the set of natural numbers, is the smallest transfinite number. It doesn't provide a proof. Similarly, this page ...
0
votes
2answers
55 views

Coming from naive set theory, are the following understanding right in ZF system? [on hold]

In ZF system, a subset $S'$ of set $S$ is: If $S'$ is a set and for any object $b$ $b\in S'\implies x\in S$. That is, before being a subset, $S'$ must be a set by itself. The set of integer ...
3
votes
1answer
84 views

What would provable existence of a non-standard natural number imply about ZFC?

Assume that in ZFC we can define a set $x$ in some way and that the following are provable: $x$ is a finite ordinal, (i.e. $x\in\omega$) $x\neq0$ $x\neq1$ $x\neq2$ etc. So to say that the ...
3
votes
1answer
46 views

What are $\in$-well orderable classes?

$V$ is not $\in$-well ordered but $Ord$ is. Is $Ord$ the unique proper class of the universe which is $\in$-well ordered?
-2
votes
0answers
60 views

Is the structure with sets and the ZFC axioms a model of the first order logic?

Wikipedia says ZFC is a one-sorted theory in first-order logic. The signature has equality and a single primitive binary relation, set membership, which is usually denoted ∈. The formula a ∈ b ...
22
votes
2answers
347 views

About translating subsets of $\Bbb R^2.$

I'm looking for a pair of sets $A,B$ of points in $\Bbb R^2$ such that $A$ is a union of translated (only translations are allowed) copies of $B;$ $B$ is a union of translated copies of $A;$ $A$ is ...
3
votes
0answers
59 views

Expository Papers on Extenders

Extenders are discussed in many set theory text books. Here I am looking for some expository "papers" which are focused on this subject and its connection with forcing and large cardinals. More ...
0
votes
0answers
46 views

Similarity of the Universe $V$ and its $\kappa$-Fragments

Intuitively, if a cardinal $\kappa$ is "large" then the $\kappa$-fragment of the universe $V_{\kappa}$ is so "similar" to the entire universe $V$. For example if $\kappa$ is supercompact then ...
1
vote
0answers
32 views

Is infinitary Levy hierarchy well-defined?

The well-known Levy hierarchy of formulas consist of two $\omega$-sequences of sets of formulas of different complexity $\langle\langle \Sigma_n:n\in \omega\rangle,\langle \Pi_n:n\in ...
1
vote
1answer
55 views

infinite Cartesian products

Quote from Wikipedia, infinite set: The Cartesian product of an infinite number of sets each containing at least two elements is either empty or infinite. I know that this is the regime where we ...
1
vote
0answers
33 views

Filters on a set of filters, are they equivalent to just filters?

Let $F(X)$ be the set of all filters (including the improper filter) on a poset $X$, ordered reversely to set-theoretic inclusion of filters. Let $U$ be a set. Is $F(F(\mathscr{P}U))$ order ...
1
vote
0answers
51 views

Existence of a generic ultrafilter over constructible universe

I am referring to the Jech's "Set Theory" book. He wants to show that, if $(P,<)$ is the notion of forcing defined as: $p \in P$ iff $p$ is a finite sequence of ordinals less than $\omega_{1}^{L}$ ...
3
votes
2answers
540 views

The Continuum Hypothesis & The Axiom of Choice

Does anyone here know of a reference to an analysis on a proposed relationship between The Continuum Hypothesis and The Axiom of Choice?
22
votes
1answer
493 views

Model existence for infinitary logics

One of the problems of infinitary logic is that it is possible for compactness to fail in a spectacular way: for example, one can concoct an inconsistent set of axioms whose proper subsets are all ...
1
vote
0answers
56 views

Zuckerman's “Sets and Transfinite Numbers”

I am beginning a study in set theory and I found an old book in my school's library by Martin Zuckeman called Sets and Transfinite Numbers which was published in the 1970's. Has anyone used this text ...
8
votes
5answers
573 views

Do we need Axiom of Choice to make infinite choices from a set?

According to the answers to this question, we do not need choice to pick from a finite product of nonempty sets, even if each of the sets is infinite. The axiom of choice is required to ensure that a ...
0
votes
0answers
32 views

Flaw in the proof that a set is countable [duplicate]

Q: Let S be the set containing all sequences of 0's and 1's. i.e $S = \{(a_1,a_2,a_3,a_4,\ldots) : a_i = 0 \text{ or } 1\}$ Show that S is countable. Proof(Flawed) : Let $A_i$ be the ...
10
votes
1answer
106 views

Partitions of the Cantor space into parities

Call a partition of $2^\mathbb{N} = A\cup B$ a parity partition if, for any $n\in\mathbb{N}$, flipping the $n$th bit of any element of $A$ results in an element of $B$, and vice-versa. Given a choice ...
0
votes
0answers
61 views

Algebraic constructions to add a real to a sub-group of $\langle \mathbb{R}^+,.\rangle$

Consider the group $\langle \mathbb{R}^+,.\rangle$ and let $r$ be a real number (e.g. $r=\sqrt{2}$). I would like to know about all known algebraic constructions to build a sub-group of $\langle ...
5
votes
1answer
46 views

Exact $\Delta$ - System Lemma

The well-known $\Delta$-system lemma states: Each uncountable family of finite sets has an uncountable sub-family with a root. Precisely: $$\forall F~~~(|F|>\aleph_0~\wedge~\forall X\in ...
1
vote
1answer
49 views

A question about $cov(I)$

Given a set $X$ and an ideal $I \subseteq \mathcal P(X)$, $cov(I) := \min \{ |\mathcal A| | \mathcal A \subseteq I (\bigcup \mathcal A = X)\}$. My question is: isn't it possible that for each ...
1
vote
1answer
80 views

difference of infinities [closed]

So I haven't studied this subject In a while, and when i get home, I'm going to consult my book on the Theory of computation to reinforce my understanding, but here is my question. So I understand ...
3
votes
1answer
75 views

$\aleph_\omega$ and large ordinals?

Assuming the GCH, each time you take the powerset of an aleph number, the subscript increases by one. So there is $\aleph_0, \aleph_1, \aleph_2\ldots \aleph_\omega\ldots \aleph_{\epsilon_0}\ldots$ and ...
2
votes
1answer
201 views

Product forcing and generic objects

If we start with a model of $\sf ZFC$, $M$ and $(P,\le)\in M$ is a notion of forcing, $G\subseteq P$ a generic filter, then in $M[G]$ we can define some generic object from $G$. For example, if $P$ is ...
1
vote
0answers
77 views

A Question Regarding Consistent Fragments of Naive (Ideal) Set Theory

It is well known that Naive (to some, otherwise known as Ideal) set theory, that is, the set theory generated by the axioms: (EXT) (x)(x $\in$ A iff x $\in$ B) iff A=B (COMP) ($\exists$y)(x)(x ...
1
vote
1answer
52 views

Could induction give us an infinite sequence of sets $X_1 \subseteq X_2 \subseteq \cdots$ or do we need the axiom of choice?

Suppose at each step $n$ of a proof by induction, we have a set $X_n$. Also, $X_{n} \subseteq X_{n+1}$. Is induction enough to give us $\bigcup_{n \in \mathbb{N}} X_n$? Or rather, when is it enough? ...
0
votes
2answers
111 views

Is it true that $\omega=\{0,1,2,3,\ldots\}$ in ZFC?

This is a bit of a philosophical question. According to "Set Theory" by Jech, the set $\omega$ of natural numbers is defined as the least nonzero limit ordinal. After thinking about this definition ...
0
votes
1answer
31 views

What is the meaning of the notation $cf(add(\mathcal I))$?

I am trying to prover the following claim: Assume that $\mathcal I$ is an ideal over some infinite set $X$. Then, $cf(add(\mathcal I))=add(\mathcal I)$. Doe anyone know what is the meaning of the ...
1
vote
0answers
54 views

Other Types of Order Types

Consider following fundamental fact of ZFC. Fact ‎‎$‎‎‎\forall ‎‎~\text{well-ordering}~\langle ‎A,<‎\rangle~~~‎\exists ‎!\alpha~~~‎‎‎‎‎\langle A,<‎‎\rangle‎\cong‎\langle‎\alpha‎,\in‎‎\rangle‎$‎ ...
7
votes
1answer
102 views

Constructing a Banach space of cardinality $\beth_{\omega+1}$

This is related to yesterday's question Constructing a vector space of dimension $\beth_\omega$; it's the next exercise (I.13.35 (a)) in Kunen's Set Theory. Let $B_0 = \ell^1$ and let $B_{n+1} = ...
-1
votes
1answer
131 views

Can't prove Continuum Hypothesis

My teacher said (and I checked on Wikipedia too), that there is a theory, the Continuum hypothesis, that can neither be proved nor disproved. However, the theory states that: There is no set ...
3
votes
0answers
48 views

Exercise on preservation of cardinals

I'm trying to solve exercise 12.1 in Prof. Monk's lectures on set theory which asks me to show that $Fn(\omega_1, 2, \omega_1)$ preserves cardinals larger than $\omega_2$. Now, the only method in the ...
3
votes
2answers
98 views

Constructing a vector space of dimension $\beth_\omega$

I'm trying to solve Exercise I.13.34 of Kunen's Set Theory, which goes as follows (paraphrased): Let $F$ be a field with $|F| < \beth_\omega$, and $W_0$ a vector space over $F$ with $\aleph_0 ...
4
votes
1answer
114 views

cov(meager) strictly between $\aleph_1$ and $2^{\aleph_0}$

Is is consistent that $\aleph_1 < \text{cov(meager)} < 2^{\aleph_0}$? I can only seem to find references for results that assert it is consistent that it (or other cardinal characteristics) is ...
0
votes
1answer
35 views

Model of a system of set theory

I was trying to understand Easton's theorem's proof. But I am not able to understand a few terms- model of a system of set theory, ranked variables, free variables, abstraction term, set constant, ...