Questions tagged [gch]

Questions about the generalized continuum hypothesis.

Filter by
Sorted by
Tagged with
18
votes
1answer
550 views

How badly can the GCH fail globally?

It's known that we 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 ...
5
votes
1answer
309 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
0answers
219 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 ...
2
votes
2answers
296 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
1answer
244 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 ...
18
votes
2answers
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
2answers
812 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
1answer
347 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 &...
4
votes
2answers
299 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
1answer
240 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
1answer
227 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
4answers
401 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 ...
4
votes
1answer
434 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 ...
9
votes
4answers
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 ...
24
votes
4answers
2k 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 ...
35
votes
7answers
6k 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 ...