Tagged Questions

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 ...

23 views

Can epsilon induction be derived from the transitive closure induction?

I was wondering (and could not seem to prove or disprove) if epsilon-induction could be derived from the transitive closure operator for binary relations. The induction of the transitive closure ...
57 views

Bartoszyński's results on measure and category and their importance

I have seen this interesting paragraph on a talk page of the Wikipedia article about Polish mathematician Tomek Bartoszyński: Tomek's paper "Additivity of measure implies additivity of category, ...
812 views

Is there a set theory in which the reals are not a set but the natural numbers are?

Is there any known axiomatization of set theory in which the real numbers are not a set, but the natural numbers and other infinite sets do exist? Such a set theory would have an Axiom of Infinity, ...
29 views

Range of a P-name

I am working on a set theory problem from Kunen's Set Theory book, and it involves knowing $\text{ran}(\tau)$ where $\tau$ is a $\mathbb{P}$-name. The entire section loves to talk about the domain of ...
69 views

If $M\prec L_{\omega_1}$ then $M = L_\alpha$ for some $\alpha$ - we need a condition to prove it?

I try to prove the exercise 13.17 in Jech: If $M\prec (L_{\omega_1},\in)$, then $M=L_\alpha$ for some $\alpha.$ [Show that $M$ is transitive. Let $X\in M$. Let $f$ be the $<_L$-least ...
26 views

Applications of the Axiom of Regularity to non-set-theoretical Mathematics [duplicate]

In the beginning of my mathematics studies at university, we have learnt that nearly all of ordinary mathematics not dealing with proper classes can be formalized within ZFC, which is a famous ...
42 views

Is this an accurate layman's description of the Anti Foundation Axiom

I'm writing an article that covers as one of its topics hypersets/non-well founded sets. In order to do so I have to describe what the anti-foundation axiom (AFA) is my description is currently as ...
53 views

Show that $3\cdot |A|<9^{|A|}$ for every $A$

I am trying to prove this question which came up in my university's set theory exam last year. A few similar questions have been asked over the last few years and I cannot figure out the method to ...
295 views

Soft Question: Why does the Axiom of Choice lead to the weirdest constructions?

I hope this is not too off-topic / soft for math.stackexchange. My basic question is: why does the Axiom of Choice allow for some of the weirdest constructions in math? I'll make a list of the weird ...
56 views

Are there any large cardinals that are not ordinals? [closed]

In ZF, are there any useful large cardinal that cannot be well-ordered? I think that some of the partition cardinals are that way, since with AC, we cannot have $\kappa \to (\omega)^{\omega}$. Are ...
52 views

Non-principal ultrafilters on a set [duplicate]

Let $X$ be a set. If $X$ is finite then all ultrafilters on $X$ are principal, i.e. have the form $\{A \subseteq X : x \in A\}$ for some $x\in X$. But now suppose $X$ is infinite, say $X=\mathbb N$. ...
40 views

58 views

44 views

Countable Transitive model where $\exists A\subset \omega_1\;(L[A]\vDash\, \neg CH)$

It is well known that for every subset $A\subset \omega_1$ if $V=L[A]$ then $L[A]\vDash GCH$. In particular $L\vDash \exists A\subset \omega_1\,(L[A]\vDash\, GCH)$. Nonetheless, it is also consistent ...
47 views

37 views

Using the axiom of choice to choose bijections

I couldn't think of a better question title. I am trying to understand the proof of theorem 1.8 in this introduction to cardinals. Theorem 1.8. Let $\kappa\in CARD$. Let \$X=\bigcup_{\alpha<\...
73 views

Is ZFC the Minimal Structural Theory that Models R [closed]

Is ZFC minimal or "simplest" in the sense that is it is the structural theory with the minimal number of sub-structures that can model R and its "classic" continuity and completeness properties (maybe ...