Indestructibility properties of remarkable cardinals (Q892148): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1411.2551 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Superstrong and other large cardinals are never Laver indestructible / rank
 
Normal rank
Property / cites work
 
Property / cites work: Large cardinals need not be large in HOD / rank
 
Normal rank
Property / cites work
 
Property / cites work: The wholeness axiom and Laver sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iterated Forcing and Elementary Embeddings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diamond (on the regulars) can fail at any strongly unfoldable cardinal / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the role of supercompact and extendible cardinals in logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On certain indestructibility of strong cardinals and a question of Hajnal / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramsey-like cardinals II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Indestructible strong unfoldability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ultrafilters and Independent Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Measurable cardinals and the continuum hypothesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proper Forcing and Remarkable Cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proper forcing and remarkable cardinals II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2877792 / rank
 
Normal rank

Latest revision as of 03:01, 11 July 2024

scientific article
Language Label Description Also known as
English
Indestructibility properties of remarkable cardinals
scientific article

    Statements

    Indestructibility properties of remarkable cardinals (English)
    0 references
    0 references
    0 references
    18 November 2015
    0 references
    A cardinal \(\kappa\) is \textit{remarkable} if in the \(\mathrm{Coll}(\omega, < \kappa)\) forcing extension \(V[G]\), for any regular cardinal \(\lambda > \kappa\), there is a \(V\)-regular cardinal \(\tau < \kappa\) and \(j : H^V_\tau \rightarrow H^V_\lambda\) with critical point \(\gamma\) such that \(j (\gamma) = \kappa\). It is shown that (a) if \(\kappa\) is remarkable, then there is a forcing extension in which the remarkability of \(\kappa\) becomes indestructible by all \(<\kappa\) -closed \(\leq \kappa\) -distributive forcing notions, and by all two-step iterations of the form \(\mathrm{Add}(\kappa, \theta) \star \dot{\mathbb{R}}\), where \(\dot{\mathbb{R}}\) is forced to be \(<\kappa\)-closed and \(\leq \kappa\)-distributive, and (b) if \(\kappa\) is remarkable, then its remarkability is preserved in any forcing extension by the canonical forcing of the GCH (i.e. the ORD-length Easton-support iteration \(\mathbb{P}\) that forces with \(\mathrm{Add}(\xi^+, 1)^{V^{\mathbb{P}_\xi}}\) at stages \(\xi\) whenever \(\xi\) is a cardinal in \(V^{\mathbb{P}_\xi}\)). One application is that it is consistent to realize any possible pattern of the power function above a remarkable cardinal. Another one is that a remarkable cardinal need not be weakly compact in HOD.
    0 references
    0 references
    large cardinals
    0 references
    remarkable cardinals
    0 references
    indestructibility
    0 references
    Laver functions
    0 references

    Identifiers