The covering lemma up to a Woodin cardinal (Q678765)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The covering lemma up to a Woodin cardinal
scientific article

    Statements

    The covering lemma up to a Woodin cardinal (English)
    0 references
    0 references
    0 references
    0 references
    8 July 1997
    0 references
    \(K\) is the core model for one Woodin cardinal as introduced by \textit{J.R. Steel} [The core model iterability problem (Lecture Notes Logic 8) (1996; Zbl 0864.03035)]. The authors prove the following covering lemma. \(\Omega\) is a measurable cardinal and there is no inner model with a Woodin cardinal. \(K\) is the core model constructed in \(V_\Omega\). \(\kappa<\Omega\) is a \(K\)-cardinal such that card(\(\kappa\)) is countably closed, i.e., for all \(\gamma<\text{card}(\kappa)\), \(\gamma^{\aleph_0}<\text{card}(\kappa)\). Let \(\lambda=(\kappa^+)^K\). Then \(\lambda<\kappa^+\) implies cf\((\lambda)=\text{card}(\kappa)\). Thus in \(K\) successors of countably closed, singular cardinals are computed correctly. As part of the proof the authors investigate the fine structure of \(K\).
    0 references
    0 references
    0 references
    covering lemma
    0 references
    Woodin cardinal
    0 references
    core model
    0 references
    successors of singular cardinals
    0 references
    fine structure
    0 references
    0 references
    0 references
    0 references