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

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.apal.2005.09.004 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.APAL.2005.09.004 / rank
 
Normal rank

Latest revision as of 00:33, 19 December 2024

scientific article
Language Label Description Also known as
English
Power function on stationary classes
scientific article

    Statements

    Power function on stationary classes (English)
    0 references
    0 references
    0 references
    16 June 2006
    0 references
    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.
    0 references
    cardinal arithmetic
    0 references
    large cardinals
    0 references
    extender based forcing
    0 references
    stationary sets
    0 references
    0 references

    Identifiers