Power function on stationary classes (Q2493906): Difference between revisions

The authors construct cardinal-preserving generic extensions of the core model \(K\) in which the power function behaves differently on different stationary classes. Let \(\Omega\) denote either a regular cardinal of \(K\) or the class of all ordinals. Then the following hold: (A) Suppose \(\{ \lambda\in\Omega :\) o\((\lambda) = \lambda^{+2} + \nu\}\) is stationary, where \(\nu\) is a regular cardinal of \(K\) with \(\nu\notin\omega \setminus \{ 0\}\). Then, in some extension, \(\{ \lambda\in\Omega : 2^\lambda = \lambda^{+i}\) and \(\text{cf} (\lambda) = \max \{ \omega, \nu\}\}\) is stationary for \(i = 1,2.\) (B) Suppose \(\{ \lambda \in \Omega :\) o\((\lambda) = \lambda^{+3} + 1\}\) is stationary. Then, in some extension, \(\{ \lambda\in\Omega : 2^\lambda = \lambda^{+j}\) and \(\text{cf} (\lambda) = \omega\}\) is stationary for \(j = 1,2,3.\) (C) Suppose \(\{ \lambda\in\Omega :\) o\((\lambda) = \lambda^{+3} + \xi\}\) is stationary for each \(\xi\in\) On. Then, in some extension, \(\{\lambda\in\Omega : 2^\lambda = \lambda^{+k}\}\) is stationary for \(k = 2,3\) but \(\{ \lambda\in\Omega : 2^\lambda = \lambda^+\) or \(\lambda\) is regular\(\}\) isn't.