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
JournalArchive for Mathematical Logic
DOIs
StateAccepted/In press - 2024
Externally publishedYes

Bibliographical note

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

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