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

&
Archive for Mathematical Logic 63 (3):483-490 (2024)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-024-00907-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
A cardinal preserving extension making the set of points of countable V cofinality nonstationary.Moti Gitik, Itay Neeman & Dima Sinapova - 2007 - Archive for Mathematical Logic 46 (5-6):451-456.
Every countable model of set theory embeds into its own constructible universe.Joel David Hamkins - 2013 - Journal of Mathematical Logic 13 (2):1350006.
Model theory without choice? Categoricity.Saharon Shelan - 2009 - Journal of Symbolic Logic 74 (2):361-401.
Applications of vaught sentences and the covering theorem.Victor Harnik & Michael Makkai - 1976 - Journal of Symbolic Logic 41 (1):171-187.
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets.Trevor M. Wilson - 2019 - Archive for Mathematical Logic 58 (7-8):841-856.
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets.Trevor M. Wilson - 2019 - Archive for Mathematical Logic 58 (7-8):841-856.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
Large Cardinals and Topology: a Short Retrospective and Some New Results.Samuel da Silva - 2007 - Logic Journal of the IGPL 15 (5-6):433-443.
Hilbert spaces with generic groups of automorphisms.Alexander Berenstein - 2007 - Archive for Mathematical Logic 46 (3-4):289-299.
Upward Morley's theorem downward.Gábor Sági & Zalán Gyenis - 2013 - Mathematical Logic Quarterly 59 (4-5):303-331.
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.R. E. Hodel - 2005 - Archive for Mathematical Logic 44 (4):459-472.
Uncountable categoricity of local abstract elementary classes with amalgamation.John T. Baldwin & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 143 (1-3):29-42.
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures.Shahram Mohsenipour - 2007 - Mathematical Logic Quarterly 53 (3):289-294.

Analytics

Added to PP
2024-02-15

Downloads
10 (#1,194,153)

6 months
10 (#268,500)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The number of countable models.Michael Morley - 1970 - Journal of Symbolic Logic 35 (1):14-18.
Long games and σ-projective sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.

View all 6 references / Add more references