MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Are very large cardinal axioms like $I_0$, $I_1$, $I_2$ consistent with $CH$ and $GCH$?

share|cite|improve this question
I'm pretty sure they're all unaffected by set-sized forcing, so certainly consistent with $CH$. – Noah Schweber Jan 22 '14 at 22:11
@Asaf: quite right, of course e.g. collapsing the cardinal to $\omega$ ruins its large cardinal properties. :P But I think Levy-Solovay - which says that forcing with a poset of size $<\kappa$ preserves the measurability of $\kappa$ - generalizes to these large cardinal axioms (and indeed all known strong large cardinals) - and since $CH$ can be forced with a poset of size $2^{\aleph_0}$, we would need even less. In general, OP, Godel's conjecture is generally regarded as strongly refuted. – Noah Schweber Jan 22 '14 at 23:03
Jitra, your question is not about Godel's program. It's about three particular large cardinal axioms. If you wanted to ask about Godel's program, you should ask about Godel's program. If Woodin succeeds in his quest for Ultimate L, then this is going to be strongly refuted (as $\sf GCH$ will hold there), but generally all large cardinal axioms are pretty much consistent with $\sf CH$. As @Noah and I remarked (although implicitly) $\sf CH$ is a very local assertion about a very small cardinal compared to these cardinals. – Asaf Karagila Jan 22 '14 at 23:10
@NoahS, I think your remarks about inner models are a bit misplaced. The situation is that almost all the large cardinals are known to be consistent with the GCH by the method of forcing, and one doesn't need inner models for this. Almost all of the usual large cardinals are known to be preserved by the canonical forcing of the GCH. In the case of supercompact cardinals and the other cardinals out of reach of the inner model theory, this is the only way that we know relative consistency with GCH. – Joel David Hamkins Jan 23 '14 at 1:15
@Jitra, nevertheless, Gödel seems just to have been wrong with his idea that large cardinals would settle the CH. It is a firmly established phenomenon, known under the umbrella of the Levy-Solovay theorem, that large cardinals are invariant by the forcing to force either CH or its negation, and thus none of our large cardinals can settle CH. And similarly, almost all the large cardinals are consistent with both GCH and its negation. – Joel David Hamkins Jan 23 '14 at 1:25
up vote 14 down vote accepted

It is known in the folklore (I could never find a source for the results) that $I_0$, $I_1$, and $I_2$ cardinals are all indestructible by small forcing, meaning that we can force ${\rm CH}$ over a universe with such a large cardinal without destroying it. I have the argument for $I_0$ written up in lecture notes here. It is basically Noah's argument with a few additional details.

Hamkins showed here that ${\rm GCH}$ can be forced over a universe with an $I_1$-cardinal without destroying it and very recently Dimonte and Friedman here showed that ${\rm GCH}$ can be forced without destroying an $I_0$, $I_1$, or $I_2$ cardinal. Indeed, they showed much more generally that any weakly increasing class function $F$ on the regular cardinals satisfying $\text{cf}(F(\alpha))>\alpha$ such that $F\upharpoonright\lambda$ is definable over $V_\lambda$ (where $\lambda$ comes from the definition of the $I_0$, $I_1$, $I_2$ cardinal) is consistent with such a large cardinal. Thus, almost any natually defined continuum pattern (on the regular cardinals), such as say $2^\kappa=\kappa^{++}$, is consistent with these large cardinals.

share|cite|improve this answer
It's nice to see you here, Victoria! – Joel David Hamkins Jan 23 '14 at 1:16
Very nice answer Victoria. Thank you very much. – user45878 Jan 23 '14 at 1:22
Wow, I didn't know the GCH question had been answered. Very cool! – Noah Schweber Jan 23 '14 at 2:17
I think it's worth mentioning that Laver proved the converse direction of Levy-Solovay for rank-into-rank cardinals (you mentioned the other direction as folk-lore) in the same paper that introduces the definability of ground models result you and Johnstone extended recently. – Everett Piper Jan 23 '14 at 3:55
@EverettPiper: Good point Everett! Thank you very much. – user45878 Jan 23 '14 at 4:00

Here's a brief sketch of why, assuming $ZFC+I_0$ is consistent, so is $ZFC+CH+I_0$. (This is just Levy-Solovay.)

Suppose $\lambda$ is $I_0$ - that is, there is a nontrivial elementary embedding $j$ of $L(V_{\lambda+1})=M$ into itself with critical point $\kappa<\lambda$. Note that the critical point $\kappa$ of $j$ must be much larger than $2^{\aleph_0}$, and hence that the usual poset $\mathbb{P}$ forcing $CH$ is in $V_\kappa$. This means that $$j(\mathbb{P})=\mathbb{P}\text{ and }j\upharpoonright \mathbb{P}=id_\mathbb{P} .$$ So, taking $G$ a $\mathbb{P}$-generic filter, we have $j$"$G=G$ and we can lift the embedding $j:M\rightarrow M $ to an embedding $j^+: M[G]\rightarrow M[G] $ extending $j$. It's now straightforward to check that this $j^+$ witnesses that $\lambda$ is $I_0$ in $V[G]$; in particular, $M[G]=L(V_{\lambda+1})^{V[G]}$, because $G$ is of small rank.

I've written this hastily; please let me know if I screwed something up. EDIT: See Victoria Gitman's comment below.

As to GCH, as I stated in my comment I think this is likely to require inner model theory for the relevant cardinal, which is well above the current limits of inner model theory. But I may be wrong about this.

share|cite|improve this answer
Hm, some weird spacing issues are going on. – Noah Schweber Jan 22 '14 at 23:36
Thanks for your answer Noah. – user45878 Jan 22 '14 at 23:38
Noah, your argument is basically correct, but you have to be a little careful because $L(V_{\lambda+1})^{V[G]}$ is not equal to $L(V_{\lambda+1})[G]$ in this case. This does not matter because you can restrict the resulting embedding to $L(V_{\lambda+1})^{V[G]}$. The reason for the inequality is because $V_{\lambda+1}$ cannot be an element of $L(V_{\lambda+1})^{V[G]}$. See here – Victoria Gitman Jan 22 '14 at 23:51
The fact that $V_{\lambda+1}$ of $V$ cannot be an element of $L(V_{\lambda+1})^{V[G]}$ if $\mathbb P$ is any forcing adding a countable sequence to $\lambda$ is a highly nontrivial theorem of Woodin and Cramer. – Victoria Gitman Jan 23 '14 at 1:47
@Victoria, very nice point - I hadn't thought of that, and I definitely didn't know that result! – Noah Schweber Jan 23 '14 at 2:19

There are some candidate axioms that are beginning to surface on the internet that appear to have large cardinal characteristics and could potentially settle questions like the CH. If they are consistent, they live somewhere in the area above $I_1$ but how they relate to $I_0$ is still not known. (At least not to me.)

I say they "appear" to have large cardinal characteristics because what counts as a large cardinal is not really formalized. Maybe it should be for a question about Godel's Program to really get a solid answer. Then again, maybe things are fine with our current understanding of the notion of large cardinal.

I mention them because they are a little uncharacteristic of large cardinals in that they don't seem to line up with the Levy-Solovay phenomenon in quite the right way. In particular, these axioms are affected (read: "killed") by small forcings like those that can alter the value of CH in the model.

This might not seem that interesting given that Hamkins has shown that certain kinds of large cardinals are already known to be sensitive to (read: "killed") by small forcing, and so they also don't seem to fall into the Levy-Solovay scheme. These large cardinals, say supercompact, are "prepared" through forcings that are designed to guarantee they remain supercompact in any further large forcing extension (thus they are called "indestructible"). But Hamkins shows that these same large cardinals are also vulnerable to small forcing as a result of the preparation. (There are obviously more details here and my apologies to Prof. Hamkins if I'm misreading some of your results in this area).

However, the large cardinals I allude to seem to be forcing-fragile for altogether different reasons. Some of these reasons include the newly discovered fact that ground models can be definable in their extensions, and structural (and maybe also semantic) requirements of the models involved in the relevant embeddings.

share|cite|improve this answer
Very interesting answer Everett. I think @Asaf 's comment about impact of PFA on CH is somehow related. (The equiconsistency of PFA and supercompacts is unknown yet.) – user45878 Jan 23 '14 at 5:19
Everett, thanks for this answer. I believe that you are referring to the main result of this paper:, which is that small forcing kills the indestructibility of any large cardinal. So if we take, say, "indestructibly supercompact" as a large cardinal notion, then this is a violation of the Levy-Solovay property. The results are extended in and then later in – Joel David Hamkins Jan 23 '14 at 14:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.