- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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)
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.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
An undecidable extension of Morley's theorem on the number of countable models.Christopher J. Eagle, Clovis Hamel, Sandra Müller & Franklin D. Tall - 2023 - Annals of Pure and Applied Logic 174 (9):103317.
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.
Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
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.
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
Hilbert spaces with generic groups of automorphisms.Alexander Berenstein - 2007 - Archive for Mathematical Logic 46 (3-4):289-299.
Analytics
Added to PP
2024-02-15
Downloads
25 (#723,533)
6 months
23 (#169,075)
2024-02-15
Downloads
25 (#723,533)
6 months
23 (#169,075)
Historical graph of downloads
Author's Profile
References found in this work
Large cardinals and definable counterexamples to the continuum hypothesis.Matthew Foreman & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 76 (1):47-97.
Long games and σ-projective sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
An undecidable extension of Morley's theorem on the number of countable models.Christopher J. Eagle, Clovis Hamel, Sandra Müller & Franklin D. Tall - 2023 - Annals of Pure and Applied Logic 174 (9):103317.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-76d885d765-cn7nt uwo