Around Silver's theorem (Q816292)

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.