Extendible cardinals and the mantle

    Research output: Contribution to journalArticle

    Abstract

    The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.

    Original languageEnglish
    Pages (from-to)1-5
    Number of pages5
    JournalArchive for Mathematical Logic
    DOIs
    Publication statusAccepted/In press - 2018 Apr 18

    Fingerprint

    Intersection
    Model

    Keywords

    • Extendible cardinal
    • Mantle
    • Set-theoretic geology

    ASJC Scopus subject areas

    • Philosophy
    • Logic

    Cite this

    Extendible cardinals and the mantle. / Usuba, Toshimichi.

    In: Archive for Mathematical Logic, 18.04.2018, p. 1-5.

    Research output: Contribution to journalArticle

    @article{20ed6eb0ea4a4cc49afae1555b4a67ff,
    title = "Extendible cardinals and the mantle",
    abstract = "The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.",
    keywords = "Extendible cardinal, Mantle, Set-theoretic geology",
    author = "Toshimichi Usuba",
    year = "2018",
    month = "4",
    day = "18",
    doi = "10.1007/s00153-018-0625-4",
    language = "English",
    pages = "1--5",
    journal = "Archive for Mathematical Logic",
    issn = "0933-5846",
    publisher = "Springer New York",

    }

    TY - JOUR

    T1 - Extendible cardinals and the mantle

    AU - Usuba, Toshimichi

    PY - 2018/4/18

    Y1 - 2018/4/18

    N2 - The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.

    AB - The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.

    KW - Extendible cardinal

    KW - Mantle

    KW - Set-theoretic geology

    UR - http://www.scopus.com/inward/record.url?scp=85045662278&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=85045662278&partnerID=8YFLogxK

    U2 - 10.1007/s00153-018-0625-4

    DO - 10.1007/s00153-018-0625-4

    M3 - Article

    AN - SCOPUS:85045662278

    SP - 1

    EP - 5

    JO - Archive for Mathematical Logic

    JF - Archive for Mathematical Logic

    SN - 0933-5846

    ER -