Skip to main content
2 of 2
edited body
user avatar
user avatar

The First Failure of GCH in Large Cardinals Smaller than Measurables

A well known theorem by Scott says:

If $\kappa$ is a measurable cardinal and $\mu$ a normal measure on it and $\mu (\lbrace\lambda\in\kappa~|~2^{\lambda}=\lambda^{+}\rbrace)=1$ then $2^{\kappa}=\kappa^{+}$.

So:

If $\text{GCH}$ is false in a measurable cardinal then there is a smaller cardinal which $\text{GCH}$ is false in it too.

Equivalently:

If $\text{GCH}$ is false then its first failure point is not a measurable cardinal.

The role of existence of a normal measure on the cardinal $\kappa$ seems very essential in the proof of Scott's theorem. So perhaps one can prove the following statement:

For any large cardinal type $\text{A}$ smaller than measurables, it is consistent with $\text{ZFC}$ that $\text{GCH}$ be false and its first failure point be a large cardinal of type $\text{A}$.

Question is:

Question: Is the above statement true? For what type of large cardinals less than measurables is there a known result like above statement?

user42090