CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS (Q5692257): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The domestic levels of \(K^c\) are iterable / rank
 
Normal rank
Property / cites work
 
Property / cites work: The weak □* is really weaker than the full □ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Indexed squares / rank
 
Normal rank
Property / cites work
 
Property / cites work: SQUARES, SCALES AND STATIONARY REFLECTION / rank
 
Normal rank
Property / cites work
 
Property / cites work: The fine structure of the constructible hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4315890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projective determinacy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weak covering without countable closure / rank
 
Normal rank
Property / cites work
 
Property / cites work: The covering lemma up to a Woodin cardinal / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4291791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inner models in the region of a Woodin limit of Woodin cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: A weak Dodd-Jensen lemma / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial principles in the core model for one Woodin cardinal / rank
 
Normal rank
Property / cites work
 
Property / cites work: A finite family weak square principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model / rank
 
Normal rank
Property / cites work
 
Property / cites work: The maximality of the core model / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Jensen Covering Property / rank
 
Normal rank
Property / cites work
 
Property / cites work: Square in Core Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deconstructing inner model theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strong axioms of infinity and elementary embeddings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5690487 / rank
 
Normal rank

Latest revision as of 16:48, 10 June 2024

scientific article; zbMATH DE number 2209070
Language Label Description Also known as
English
CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS
scientific article; zbMATH DE number 2209070

    Statements

    CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS (English)
    0 references
    0 references
    0 references
    27 September 2005
    0 references
    0 references
    0 references
    0 references
    0 references
    Square sequence
    0 references
    extender model
    0 references
    fine structure
    0 references