2000 character limit reached
The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
Published 19 Jan 2024 in math.LO | (2401.10454v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.