Questions tagged [gch]

Questions about the generalized continuum hypothesis.

Filter by
Sorted by
Tagged with
20 votes
1 answer
380 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, ...
  • 23.9k
0 votes
0 answers
27 views

Any Easton's function can be continuum function in some $HOD(X)$?

GCH can fail anywere in HOD Can exist model $M$ where for any Easton's function $\gamma=f(\kappa)$ exist $X$ what $M\vDash HOD(X)\vDash "2^\kappa=\gamma"$ ? Even for singular cardinals?
  • 83
10 votes
1 answer
409 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? ...
22 votes
1 answer
856 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
358 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 votes
0 answers
245 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 ...
  • 455
2 votes
2 answers
334 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 ...
5 votes
1 answer
300 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 ...
19 votes
2 answers
1k 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 $...
15 votes
2 answers
865 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
360 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 &...
  • 16.8k
4 votes
2 answers
316 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{...
10 votes
1 answer
267 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$...
3 votes
1 answer
237 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
415 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
496 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 ...
user avatar
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
26 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,269
37 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 ...