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

1
vote
0answers
33 views

Can one talk about equivalences classes in a class(which might not be a set). [duplicate]

equivalence relation on a set breaks it into disjoint sets. does 'disjointness' make sense in classes. specifically, given a category, isomorphism classes of objects makes sense or not. can it be so ...
2
votes
1answer
52 views

Why is $\alpha \mapsto L_{\alpha}[A]$ $\Delta_{1}$?

On page 187 of Jech's Set Theory, there is a proof sketch of the fact that $\alpha \mapsto L_{\alpha}$ is $\Delta_{1}$. As far as I can tell, Jech's argument only shows that this operation is ...
0
votes
0answers
38 views

Sets Constructible Relative To A Unary Predicate

The class $L$ of constructible sets is defined by recursion using the operation def$(M)=\{x \subset M: x$ is definable over $(M, \in) \}$. By adding a unary predicate, $P$, to our language, we can ...
0
votes
0answers
34 views

Tarski's theorem follows from choice [duplicate]

It is known that Tarski's theorem and axiom of choice are equivalent. Implication $\Rightarrow$ follows from considering bijection $(A+\aleph(A))^2\rightarrow(A+\aleph(A))$. Implication $\Leftarrow$ ...
3
votes
2answers
85 views

Distinguishing sets according to more fine-grained notions than cardinality.

I'm interested in distinguishing sets according to more fine-grained notions than cardinality. Now I don't know a thing about computability theory, but it seems to me that considering sets up to ...
-1
votes
1answer
149 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 ...
0
votes
2answers
116 views

Is the “Most Important Property a Set S has” Necessary and Sufficient to Define a Paradox-Free Notion of Set?

About a year and a half ago, while I was looking on the Web for papers regarding the Russell paradox, I chanced to find an interesting concept. This concept was contained in what (for want of a ...
8
votes
5answers
597 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 ...
3
votes
2answers
153 views

What is the meaning/purpose of finding the “foundations of mathematics”?

I've read in a lot of places how there was a "foundational crisis" in defining the "foundations of mathematics" in the 20th century. Now, I understand that mathematics was very different then, I ...
1
vote
1answer
76 views

Reference request, Descriptive set theory

I was wondering what a good text would be to learn descriptive set theory out of? Hopefully something more in the spirit of Kunen's text on the introduction to independence proofs.
2
votes
1answer
47 views

Cardinal Arithmetic 2: $\beth_{\omega_1}$

This is question is simple to write but (I think) hard to solve. Does the following equality hold? $$\bigcup_{{\beta}<\beth_{\omega_1}}\beth_{\omega+1}(|\beta+\omega|) =\beth_{\omega_1} $$ Where ...
2
votes
0answers
66 views

Proof of PFA from Supercompact

In Jech's proof (in chapter 31) that the consistency of a supercompact cardinal implies the consistency of PFA, he needs the following fact: Let $\mathbb{P}_\kappa$ be the countable support forcing ...
3
votes
2answers
64 views

Can a finite axiomatization of PA be expressed in a finitely axiomatizable first order set theory?

Peano Arithmetic has an infinite number of axioms because of its induction schema; Likewise $\sf ZFC$ has an infinite number of axioms because of its axiom schema of replacement. $\sf NBG$ however ...
2
votes
0answers
54 views

Is $\mathcal{P}(\omega)$ bigger than $\omega$ in $NFU$ + infinity?

$NFU$ doesn't prove Cantor's theorem (that $\mathcal{P}(S)$ is cardinally greater than $S$) by a stratification dodge: the proof's critical step makes use of the unstratified formula $x \not\in f(x)$, ...
4
votes
2answers
60 views

Example of a non-proper product of two proper forcing notions

I am looking for an example of a proper forcing notion $ \mathbb{P} $ such that $ \mathbb{P} \times \mathbb{P} $ is not proper. Maybe someone knows an obvious example or can give a reference to such ...
1
vote
0answers
49 views

Dual Constructions for Core Models

Roughly speaking, core models are inner models of ZFC which could contain some large cardinals. e.g. $L$ is the smallest core model and it is possible to have inaccessible, Mahlo, weakly compact, ...
2
votes
1answer
62 views

Suppose $X$ is a Hausdorff Lindelöf scattered space. Is $\xi(X)$ a successor ordinal?

Let $K$ be a (Hausdorff) scattered topological space and for each ordinal $\alpha$ denote by $K^{(\alpha)}$ the $\alpha$th derivative of $K$ by the Cantor-Bendixson derivation (i.e., define ...
7
votes
1answer
184 views

What is semantics of “type”? Do “types” of “type theory” semantically differ from “set” of set theory?

"To be of a (certain type)" is a fundamental relationship for ontology and the computer science "ontologies" are in the core of Semantic Web (which is my interest). But I did not encounter a ...
1
vote
1answer
49 views

Closed subsets of $\beta \mathbb R$

Definitions. Suppose $X$ is a topological space. $w(X)=\min\{|\mathcal B|:\mathcal B$ is a base for $X\}+\omega$ $e(X)=\sup\{|D|:D\subseteq X$ is closed and discrete$\}+\omega$ $K(X)$ is the ...
3
votes
1answer
87 views

Definition in Kunen

In Kunen's second edition of set theory he gives the following definition Let $(\mathbb{Q},\leq_\mathbb{Q},\mathbb{1}_\mathbb{Q})$, and $(\mathbb{P},\leq_\mathbb{P},\mathbb{1}_\mathbb{P})$ be forcing ...
1
vote
1answer
72 views

Partitioning an infinite cardinal number

Can we partition an infinite cardinal greater than aleph null, into countable number of cofinal subsets? Can we have restriction on the cardinality of cofinal subsets? For example, suppose $\alpha$ ...
9
votes
1answer
99 views

Choosing elements of linear orders

Is it consistent with ZF that there can be a countable family of linear orders, each isomorphic to $\mathbb Z$ (that is, every element has a unique predecessor and successor, and any two elements have ...
4
votes
1answer
74 views

Model of complete extension of Zermelo set theory

Chang and Keisler's Model theory gives the following exercise problem: Prove that there is a complete extension $T$ of Zermelo set theory which has arbitrary large natural models. (A model ...
5
votes
1answer
64 views

Cardinal Arithmetic: $\beth_\omega$

Is the following equality independent of ZFC: $$\bigcup_{\aleph_{\beta}<\beth_{\omega}}2^{\aleph_{\beta}}=\beth_\omega $$ Consistent: Now that the equality is consistent with ZFC since it holds ...
4
votes
1answer
83 views

How to make an order isomorphism

Two linear orders $A$ and $B$ have starting points $a_0$ and $b_0$, and have cofinalities $\omega_1$. Let $(a_\alpha )_{\alpha<\omega_1}$ and $(b_\alpha )_{\alpha<\omega_1}$ be cofinal ...
0
votes
2answers
58 views

Ordinal existence

Is there any ordinal $\alpha$ such that $\omega ^ {\omega ^ \alpha} = \alpha$? Could you please suggest me how to even try to solve this?
1
vote
0answers
106 views

Does the Math-tea Argument Have Any Relevance to the Method of Forcing?

The Math-tea Argument (i.e. the argument that, for example, there must be real numbers that we cannot describe or define, because there are only countably many definitions, but uncountably many reals) ...
2
votes
2answers
82 views

An exercise in Kunen

The following exercise appears in Kunen; In $M$, let $\mathbb{P}=Fn(\kappa,\lambda)$ (i.e. the finite partial functions), where $\aleph_0\leq\kappa<\lambda$. Then $\lambda$ is countable in $M[G]$, ...
1
vote
1answer
27 views

Class Sizes and Ordering

It is independent of ZFC that every proper class has the same "size". (See Size Of Proper Classes). However, is it necessary that the proper class sizes must be linearly ordered if then are not the ...
2
votes
1answer
90 views

Are All Nonstandard Models of PA Ill-Founded?

We often use sets to represent natural numbers, but we can also use natural numbers to represent sets. For example, we can use the binary expansion of a natural number to represent a set. The number ...
2
votes
1answer
113 views

Best Less-Famous Texts for Forcing

There are many books, papers and lecture notes which give an introduction to forcing (e.g. Jech or Kunen's books) but here I am looking for some possibly less-famous useful comprehensive texts for ...
0
votes
0answers
61 views

Large Cardinals with Elementary Extension Characterization

Question: Which large cardinals $\kappa$ have a characterization in the following form: $\kappa$ is large if and only if for all cardinals $\lambda>\kappa$, $\langle W_{\kappa},\in\rangle\prec ...
6
votes
1answer
107 views

The continuum hypothesis (CH) and its equivalent

For a set $A \subseteq \mathbb{R}^2$ and $x,y \in \mathbb{R}$, we define $A^y=\{x \in \mathbb{R}\mid (x,y) \in A\}$ and $A_x=\{y \in \mathbb{R}\mid(x,y) \in A\}$. Proposition: The continuum ...
0
votes
1answer
56 views

Newbie approach to understand generalized continuum hypothesis

There is this theorem that size of power set constructed from infinite set is "more" infinite than the previous set: $$ \begin{eqnarray*} \aleph_0 &= |\mathbb{N}| \\ \aleph_{n+1} &= ...
2
votes
1answer
107 views

Cardinalities of Collections of Models

Let $T$ be a complete theory in a countable language (with only infinite models). Recall the spectrum function: $I(\aleph_\alpha,T)=$ the number of non-isomorphic models of $T$ of cardinality ...
0
votes
1answer
42 views

Representative elements in the symmetric difference metric

The symmetric difference is a natural way to quantify the distance between measurable sets: $$d(S,T)=measure([S\setminus T]\cup[T\setminus S])$$ This is a pseudo-metric because there may be ...
2
votes
1answer
34 views

A problem in transitivity of set

Let $D$ be a transitive set with the following property : $$\forall a\in D:\quad a\subseteq B\,\Longrightarrow a\in B$$ Prove that $D\subseteq B$. I think there will be needed axiom of ...
1
vote
1answer
54 views

why $\alpha ,\beta,\gamma$ :$(\beta + \gamma)\alpha = \beta\alpha + \beta \gamma$ doesn't hold?

this rule doesn't hold for all ordinals $\alpha ,\beta,\gamma$ :$(\beta + \gamma)\alpha = \beta\alpha + \beta \gamma$. I tested many examples but all of them holds for it ! does this hold ? $(B \cup ...
2
votes
1answer
53 views

Axiom of Limitation of Size Reference Request

On the wiki page for the axiom of limitation of size in NGB is states that the axiom of replacement and the axiom of global choice are equivalent to the axiom of limitation of size (see ...
2
votes
0answers
110 views

If physical space had cardinality larger than $\aleph_1$, would we need new math to describe dynamics? [closed]

If physical space had cardinality larger than $\aleph_1$, would we need new math to describe dynamics? For instance, would the dynamics of a sea of virtual particles of cardinality $\aleph_1$ would ...
2
votes
1answer
44 views

Is the cardinality of the continuum weakly Mahlo?

Is $2^{\aleph_0}$ a weakly Mahlo cardinal? Can it be? That is, are there conditions (such as the negation of the continuum hypothesis or something) under which it is, and other conditions under which ...
2
votes
1answer
73 views

Some Questions Regarding Pointwise Definable Models of ZFC

In their paper "Pointwise Definable Models of Set Theory" Hamkins, Linetsky, and Reitz prove the following theorem: "Every countable model of ZFC has a pointwise definable class forcing extension." ...
0
votes
0answers
22 views

Collection of sets with a given cardinality $\kappa$ is not set [duplicate]

Show that collection of all sets with cardinality $\kappa\neq0$, is not set. I'll state my approach and I need to see whether this idea is precise/precisable or not : First let $K$ be the set ...
2
votes
1answer
58 views

Confusion Regarding the Axiom of Countable Choice

My current understanding of the Axiom of Countable Choice is that the following example needs it in order to work: Let $X$ be a countable family of finite sets. Then there exists a choice function ...
1
vote
3answers
95 views

Proof that $\mathbb{N}\times \mathbb{N}\cong \mathbb{N}$ without $AC_\omega$ or Arithmetic

Proving that $\mathbb{N}\times \mathbb{N} \cong \mathbb{N}$ is incredibly useful for proving that the countable union of countable sets is countable and the fact that finite cartesian products of ...
4
votes
1answer
38 views

Extension of ZFC models preserves cardinals

Let $M \subseteq N$ be countable transitive ZFC set models. Assume that this extension preserves cardinals, i.e. if $\alpha$ is an ordinal number (this notion is absolute) such that $(\alpha \text{ is ...
6
votes
0answers
92 views

Who wants to learn set theory? [closed]

So set theory is something I really want to learn. I found this document that I really like, except the fact that it doesn't prove all of it's theorems in with a lot of detail (a lot of times they say ...
2
votes
1answer
46 views

Adding subsets of regular cardinals (Jech p. 226)

On p. 226 of his ${\it Set}$ ${\it Theory}$, Jech considers adding $\lambda$ many subsets of $\kappa$ to a ground model $M$. He outlines a suitable partial order on the assumption that $M$ satisfies ...
5
votes
1answer
70 views

Partial order on cardinalities without the axiom of choice

Cardinality can still be defined without choice, e.g. as equivalence class of equipotent sets, see Defining cardinality in the absence of choice. Injections define partial order on cardinalities by ...
5
votes
0answers
71 views

“How strong is $\Diamond_\kappa^+$?”

In $\text{ZFC}$, we know that $\Diamond_{\kappa}^+ \implies \Diamond_{\kappa}$ and $\Diamond_{\kappa^+} \implies 2^\kappa = \kappa^+$, so that we may think of $\Diamond^+$, i.e. $\Diamond_\kappa^+$ ...