The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond (Q5147000)

From MaRDI portal
scientific article; zbMATH DE number 7304257
Language Label Description Also known as
English
The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond
scientific article; zbMATH DE number 7304257

    Statements

    The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond (English)
    0 references
    0 references
    2 February 2021
    0 references
    supercompact cardinal
    0 references
    strongly compact cardinal
    0 references
    level by level equivalence between strong compactness and supercompactness
    0 references
    lottery sum
    0 references
    ground axiom (GA)
    0 references
    diamond
    0 references
    square
    0 references
    HOD
    0 references

    Identifiers