Around Silver's theorem
The author states several theorems related to a ``modern formulation of Silver's theorem on the behavior of cardinal exponentiation at a singular cardinal \(\kappa\) of uncountable cofinality. In particular, the author is interested in the consistency of having both \(\{\delta<\kappa\mid 2^{\delta}=\delta^{+}\}\) and \(\{\delta<\kappa\mid 2^{\delta}=\delta^{++}\}\) be stationary sets. In this regard, he states that if \(\kappa\) is supercompact, then there is a generic extension where cf\((\kappa)=\aleph_ 1\) and both of the sets mentioned above are stationary. This short note contains no proofs; however, the author indicates how known arguments can be adapted to provide such proofs.
This page was built for publication: Around Silver's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816292)
