Blowing up the power of a singular cardinal of uncountable cofinality with collapses
Sittinon Jirattikansakul
Abstract
Open-access reader
Sittinon Jirattikansakul
Abstract
Open-access reader
The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $κ$ is singular strong limit, then $2^κ=κ^+$. We prove that given a singular cardinal $κ$ of {\em cofinality} $η$ in the ground model, which is a limit of suitable large cardinals, and $η^+=\aleph_γ$, then there is a forcing extension which preserves cardinals and cofinalities up to and including $η$, such that $κ$ becomes $\aleph_{γ+η}$, and SCH fails at $κ$. Furthermore, if $η$ is not an $\aleph$-fixed point, then in our model, SCH fails at $\aleph_η$. Our large cardinal assumption is below the existence of a Woodin cardinal. In our model we also obtain a very good scale.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $κ$ is singular strong limit, then $2^κ=κ^+$. We prove that given a singular cardinal $κ$ of {\em cofinality} $η$ in the ground model, which is a limit of suitable large cardinals, and $η^+=\aleph_γ$, then there is a forcing extension which preserves cardinals and cofinalities up to and including $η$, such that $κ$ becomes $\aleph_{γ+η}$, and SCH fails at $κ$. Furthermore, if $η$ is not an $\aleph$-fixed point, then in our model, SCH fails at $\aleph_η$. Our large cardinal assumption is below the existence of a Woodin cardinal. In our model we also obtain a very good scale.
Key concepts: Cofinality, Uncountable set, Aleph, Regular cardinal, Mathematics, Limit (mathematics), Cardinal number (linguistics), Forcing (mathematics)