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 language | English |
---|---|
Pages (from-to) | 483-490 |
Number of pages | 8 |
Journal | Archive for Mathematical Logic |
Volume | 63 |
Issue number | 3-4 |
DOIs | |
State | Published - May 2024 |
Externally published | Yes |
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.
Funders | Funder number |
---|---|
Natural Sciences and Engineering Research Council of Canada | RGPIN-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