Questions tagged [set-theory]

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 theory, definability, infinite combinatorics, transfinite hierarchies; etc. More elementary questions should use the "elementary-set-theory" tag instead.

This tag is for set theory topics typically studied at the advanced undergraduate or graduate level. More elementary questions should use the tag instead.

Topics relevant to this tag include cofinality, axioms of ZFC and of close variants (such as ZFA, KP, NBG, MK), axiom of choice, forcing, set-theoretic independence, large cardinals, models of set theory, ultrafilters, ultrapowers, constructible universe, inner model theory, definability, infinite combinatorics, transfinite hierarchies; etc.

For questions about alternative set theories, use instead the tag .

9191 questions
5
votes
1 answer

Strategic closure of quotients

Is there an example of a poset $P$ that is a regular suborder of $Q$ such that $Q$ is $\omega_2$-strategically closed, but the quotient forcing $Q/P$ fails to be $\omega_1$-strategically closed? To clarify, I am using the following definition,…
mbsq
  • 1,989
  • 9
  • 13
5
votes
1 answer

Example of an interesting theorem that fails in intuitionistic set theory but is classically valid?

I'm interested in intuitionistic set theories at the moment. I know that lots of principles imply LEM and so fail intuitionistically, and also a few basic principles - linear ordering of ordinals, for example - fail in intuitionistic set theories.…
chris scambler
  • 401
  • 2
  • 8
5
votes
0 answers

Jech, "Set theory" exercises 12.11 - Is my proof right?

I try to prove the Jech's "Set theory", exercises 12.11: 12.11. If $\kappa$ is an inaccessible cardinal, then $V_\kappa\models \text{there is a countable model of ZFC}$. My attempt. Since $(V_\kappa,\in)$ is a model of ZFC, by Löwenheim-Skolem…
Hanul Jeon
  • 25,481
  • 9
  • 38
  • 104
5
votes
2 answers

countably closed forcing cannot add a branch to a $\aleph_2$-tree if $\neg\mathsf{CH}$

I'm reading this survey. In it the author states the following result (fact 5.3) which is attributed to Silver: If $2^{\aleph_0}>\aleph_1$, countably closed forcing cannot add a new branch to an $\aleph_2$-tree. I cannot find any proof of this and…
Camilo Arosemena-Serrato
  • 9,247
  • 1
  • 24
  • 62
5
votes
1 answer

Conservativity of $\mathrm{ZFC}+\varphi$, where $\varphi$ contradicts CH.

It is well-known that ZFC with the continuum hypothesis is a $Π^2_1$-conservative extension of ZFC. General question. What is known about the conservativity of $\mathrm{ZFC}+\varphi$ over $\mathrm{ZFC}$, where $\varphi$ is any one of a variety of…
goblin GONE
  • 65,164
  • 15
  • 90
  • 252
5
votes
1 answer

Regarding Thomas Jech's demonstration of Zorn's lemma via induction

Thomas Jech, such as many other mathematicians, demonstrates $AC \rightarrow ZL$ via transfinite induction. He says: Proof. We construct (using a choice function for nonempty sets of P), a chain in P that leads to a maximal element of P. We let, by…
Miguelgondu
  • 1,349
  • 1
  • 10
  • 24
5
votes
2 answers

Problem understanding the Axiom of Foundation

I am just beginning to learn the ZF axioms of set theory, and I am having trouble understanding the Axiom of Foundation. What exactly does it mean that "every non-empty set $x$ contains a member $y$ such that $x$ and $y$ are disjoint sets." In…
5
votes
1 answer

Unique ultrafilter on $\omega$

We know that from axiom of choice (or just BPIT) we can deduce ultrafilter lemma, which states that every filter can be extended to an ultrafilter. From this lemma we can derive the existence of at least 2 different ultrafilters (example: take an…
Wojowu
  • 25,544
  • 2
  • 41
  • 102
5
votes
2 answers

What is the value of $\beth_{\omega_1}^{\aleph_0}$?

It is well known that $\beth_\omega^{\aleph_0} = \beth_{\omega+1}$. This follows since for strong limit $\kappa$, we have $\kappa^\kappa = \kappa^{\mathrm{cf}(\kappa)}.$ Question. To the extent that ZFC can pin it down, what is the value of…
goblin GONE
  • 65,164
  • 15
  • 90
  • 252
5
votes
1 answer

Cardinality of all $\mathbf{\Sigma}^0_\alpha$-sets over Baire space without full choice

It is well-known that the set of all open (or closed) sets on Baire space has cardinality of the continuum. In context of choice, we can prove that the set of all $\mathbf{\Sigma}^0_\alpha$-sets over Baire space has cardinality of the continuum.…
Hanul Jeon
  • 25,481
  • 9
  • 38
  • 104
5
votes
1 answer

What are the fixed points of cardinal exponentiation?

Whenever $\kappa$ is an infinite cardinal number, write $\mathrm{cl}_\kappa$ for the unique function $\mathrm{Card} \rightarrow \mathrm{Card}$ given by $\mathrm{cl}_\kappa(\nu) = \nu^\kappa.$ It follows that, whenever $\kappa$ is an infinite…
goblin GONE
  • 65,164
  • 15
  • 90
  • 252
5
votes
1 answer

A question regarding the status of CH in the Gitik model

Consider models of ZF+"Every uncountable cardinal is singular" (eg. Moti Gitik: "All uncountable cardinals can be singular", Israel journal of Mathematics, 35(1-2): 61-88, 1980). How should CH be formulated in such models? Can CH be false in such…
Thomas Benjamin
  • 1,185
  • 8
  • 12
5
votes
1 answer

Asymmetric roles that are symmetric in every instance

This is similar to something else I posted, but this time we'll pretend we've never heard of infinite sets or infinite series. \begin{align} & \sin(\alpha+\beta+\gamma+\delta+\varepsilon+\zeta) \\[12pt] = {} &…
5
votes
1 answer

How can I prove that there is no set containing itself without using axiom of foundation?

I've already found some similar questions in here (and other sites), but in most of the case, the use of axiom of foundation is required to complete the proof. Is there any way to prove $\not\exists x(x\in x)$, without using the axiom? Thank you in…
DLEE
  • 75
  • 5
5
votes
2 answers

almost disjoint functions from $\aleph_{\omega+1}$ to $\aleph_\omega$

Is it consistent that any collection of almost-disjoint functions $\aleph_{\omega+1}$ to $\aleph_\omega$ has size at at most $\aleph_{\omega+1}$? "Almost-disjoint functions" are also called "eventually different functions." $f$ and $g$ are…
mbsq
  • 1,989
  • 9
  • 13
1 2 3
99
100