The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals

2024/01/19 by Tall, Franklin D., Zhang, Jing
#03C52 #03C55 #03C85 #03E35 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2401.10454

Abstract

The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.

Related

• An undecidable extension of Morley's theorem on the number of countable models
• Model theory without choice: Categoricity
• Model Theoretic Characterizations of Large Cardinals Revisited
• Morley's theorem and Vaught's conjecture via Algebraic logic
• Model-theoretic characterizations of large cardinals (Re)²visited