The second-order version of Morley’s theorem on the number of countable models does not require large cardinals

Franklin D. Tall, Jing Zhang

Research output: Contribution to journalArticlepeer-review

Abstract

The consistency of a second-order version of Morley’s Theorem on the number of countable models was proved in [EHMT23] with the aid of large cardinals. We here dispense with them.

Original languageEnglish
Pages (from-to)483-490
Number of pages8
JournalArchive for Mathematical Logic
Volume63
Issue number3-4
DOIs
StatePublished - May 2024
Externally publishedYes

Bibliographical note

Publisher Copyright:
© The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

Funding

Supported by Natural Sciences and Engineering Research Council Grants RGPIN-2016-06319 and RGPIN-2023-03420. Supported by Natural Sciences and Engineering Research Council discovery grants.

FundersFunder number
Natural Sciences and Engineering Research Council of CanadaRGPIN-2023-03420, RGPIN-2016-06319

    Keywords

    • 03C52
    • 03C55
    • 03E35
    • Cohen forcing
    • Countable models
    • Generic absoluteness
    • Large cardinals
    • Morley’s theorem
    • Primary 03C85
    • σ-projective equivalence relations

    Fingerprint

    Dive into the research topics of 'The second-order version of Morley’s theorem on the number of countable models does not require large cardinals'. Together they form a unique fingerprint.

    Cite this