Questions tagged [gch]
Questions about the generalized continuum hypothesis.
19
questions
11
votes
2
answers
2k
views
Is GCH useful in proving theorems?
By GCH I mean the Generalized Continuum Hypothesis. Let me give some context before presenting my question.
When the axiom of choice was introduced by Zermelo in his 1904 proof of Well-Ordering ...
- 2,733
21
votes
1
answer
467
views
What is known about the consistency of $2^{\aleph_\alpha} = \aleph_{\alpha+\gamma}$ for all $\alpha$?
For $\gamma$ an ordinal, let “$H_\gamma$” be the statement:
For all ordinals $\alpha$, we have $2^{\aleph_\alpha} = \aleph_{\alpha+\gamma}$.
So clearly $H_0$ is false, and so is $H_\omega$; in fact, ...
- 30.2k
10
votes
1
answer
669
views
Does GCH for alephs imply the axiom of choice?
GCH for alephs means the statement that, for any aleph $\kappa$, there are no cardinals $\mathfrak{r}$ such that $\kappa<\mathfrak{r}<2^\kappa$.
Does GCH for alephs imply the axiom of choice?
...
- 1,288
22
votes
1
answer
902
views
How badly can the GCH fail globally?
It's known that we can have global failures of GCH---for example, where $\forall \lambda(2^\lambda = \lambda^{++})$---given suitable large cardinal axioms.
My question is whether we can have global ...
- 1,208
5
votes
1
answer
383
views
GCH implies acceptability
I have been studying the concept of acceptability, particularly in its relation to GCH.
There are many versions of it in the sources I have found, with some slight variations, and some of them are ...
- 2,327
2
votes
0
answers
261
views
Continuum hypothesis in nonstandard universe
In Vladimir Kanovei's book "Nonstandard Analysis, Axiomatically", some nonstandard set theory is introduced. It seems that, one of them, DNST, is useful.
When we are talking about higher order ...
- 475
2
votes
2
answers
375
views
Question about Jech's proof of V = L implies GCH
On pg 190 of Jech's Set Theory, he proves V = L implies GCH. I understand it all except the following:
Thus let X ⊂ $ω_α$. There exists a limit ordinal δ>$ω_α$ such that X ∈ $L_δ$.
Let M be an ...
6
votes
1
answer
339
views
Is $V=\textsf{HOD}\not\Rightarrow\textsf{GCH}$ consistent?
Whenever $M$ is some fine-structural $L$-like model we can prove the implication $V=M\Rightarrow\textsf{GCH}$. For $L$ this is due to Gödel, and for the modern extender models it follows simply by ...
- 1,182
19
votes
2
answers
2k
views
Does $V = \textit{Ultimate }L$ imply GCH?
In his Midrasha Mathematicae lectures ("In Search of Ultimate $L$", BSL 23 [2017]: 1–109), Woodin notes that $V = \textit{Ultimate }L$ implies $\textrm{CH}$ (Theorem 7.26, p.103). Is it known whether $...
- 1,135
15
votes
2
answers
895
views
$GCH$ and special Aronszajn trees
Question. Does $\text{GCH}$ imply the existence of a non-special $\aleph_2$-Aronszajn tree ?
Remark 1. By a result of Jensen, it is consistent that $\text{GCH}$ holds and all $\aleph_1$-Aronszajn ...
11
votes
1
answer
380
views
Precipitous ideals and GCH
It is well known that ZFC + "There is a measurable cardinal" is equiconsistent with ZFC + "There is a precipitous ideal on $\omega_1$." Is ZFC + "There is a measurable $\kappa$ such that $2^\kappa &...
- 18.1k
4
votes
2
answers
325
views
Is injectivity of $2^{(\ldots)}$ weaker than $\mathsf{GCH}$? [duplicate]
The following statement cannot be proven in $\mathsf{ZFC}$:
(S) : If $A, B$ are sets with $|A| < |B|$, then $2^{|A|} = |{\cal P}(A)| < |{\cal P}(B)| = 2^{|B|}$.
Obviously, $\mathsf{...
- 45.5k
10
votes
1
answer
288
views
Is there a (first-order) sentence which admits $(\aleph_2,\aleph_0)$ iff a Kurepa tree exists?
In Chang and Keisler's Model Theory I came across the following theorem (Theorem 7.2.13):
Theorem There exists a (first-order) sentence $\sigma$ such that for all infinite cardinals $\alpha$, $\sigma$...
- 2,932
3
votes
1
answer
244
views
Failure of GCH at indescribable cardinals
Can $\Pi^m_n$ indescribable cardinal be the first one where $\text{GCH}$ fails?
Hauser showed in
Hauser,K.: Indescribable cardinals and elementary embeddings.
J. Symb. Logic 56, 439457 (1991)
that ...
5
votes
4
answers
433
views
do behavior of gimel or GCH determine all infinte products of cardinals?
Let $Card$ be the class of infinite cardinals and $p\colon Card^2\to Card$ be given by $(\kappa,\lambda)\mapsto\kappa^\lambda$.
Assuming GCH it is known that $p(\kappa,\lambda)$ is either $\kappa$ (if ...
- 622
4
votes
1
answer
528
views
The canonical forcing of the GCH and direct limits.
The motivation for this question is that I am working through an exercise to force the GCH (generalized continuum hypothesis) over a model of ZFC and obtain a model of ZFC where GCH holds.
The ...
user10290
10
votes
4
answers
2k
views
Failure of the GCH
What is the (currently known) consistency strength of global failure of the GCH?
I do not have access to the exact statement of the original Foreman-Woodin result. My searches seem to indicate that ...
- 103
27
votes
4
answers
3k
views
When $2^\alpha = 2^\beta$ implies $\alpha=\beta$ ($\alpha,\beta$ cardinals)
Sorry if this is a silly question. I was wondering, under what axioms of set theory is it true that if $\alpha$,$\beta$ are cardinals, and $2^\alpha=2^\beta$, then $\alpha=\beta$? Do people use these ...
- 4,365
39
votes
7
answers
7k
views
What is the general opinion on the Generalized Continuum Hypothesis?
I'm community wikiing this, since although I don't want it to be a discussion thread, I don't think that there is really a right answer to this.
From what I've seen, model theorists and logicians ...