Guessing models and generalized Laver diamond (Q450960)

From MaRDI portal
Revision as of 18:04, 5 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Guessing models and generalized Laver diamond
scientific article

    Statements

    Guessing models and generalized Laver diamond (English)
    0 references
    0 references
    26 September 2012
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    large cardinals
    0 references
    forcing axioms
    0 references
    Laver diamond
    0 references
    guessing model
    0 references
    inaccessibility
    0 references
    elementary embeddings
    0 references
    0 references
    0 references