Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tall, Franklin D., Zhang, Jing
Format:	Preprint
Publié:	2024
Sujets:	Logic 03C85, 03C55, 03E35, 03C52
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

More on expressibility of satisfiability in submodels and extensions
par: Poliakov, Nikolai L., et autres
Publié: (2026)

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
par: Boney, Will, et autres
Publié: (2025)

On the categoricity of complete second order theories
par: Saarinen, Tapio, et autres
Publié: (2024)

A note on Łoś's Theorem without the Axiom of Choice
par: Usuba, Toshimichi
Publié: (2023)

Flatness and Nonforking without the Continuum Hypothesis
par: Majozi, Philani Rodney
Publié: (2025)

$\leq_{SP}$ Can Have Infinitely Many Classes
par: Shelah, Saharon, et autres
Publié: (2018)

Cohen Generic Structures with Functions
par: Ackerman, Nathanael, et autres
Publié: (2023)

Model theory of class-sized logics
par: Osinski, Jonathan, et autres
Publié: (2026)

The Borel complexity of the class of models of first-order theories
par: Andrews, Uri, et autres
Publié: (2024)

On the Model Theory of Second-Order Objects
par: Hyttinen, Tapani, et autres
Publié: (2024)

On Stability and Existence of Models in Abstract Elementary Classes
par: Mazari-Armida, Marcos, et autres
Publié: (2024)

Building models in small cardinals in local abstract elementary classes
par: Mazari-Armida, Marcos, et autres
Publié: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
par: Kolman, Oren, et autres
Publié: (1996)

Generalized Von Neumann Universe and Non-Well-Founded Sets
par: Zhang, Eugene
Publié: (2023)

Cohen-like first order structures
par: Kostana, Ziemowit
Publié: (2020)

A complicated family of trees with omega + 1 levels
par: Shelah, Saharon
Publié: (2014)

On the downward Löwenheim-Skolem Theorem for elementary submodels
par: Kunik, Matthias
Publié: (2024)

Building complicated index models and Boolean algebras
par: Shelah, Saharon
Publié: (2024)

Club guessing and the universal models
par: Džamonja, Mirna
Publié: (2006)

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
par: Jakob, Hannes
Publié: (2025)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
par: Chernikov, Artem, et autres
Publié: (2026)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
par: Lücke, Philipp
Publié: (2024)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
par: Lietz, Andreas
Publié: (2024)

The Borel monadic theory of order is decidable
par: Manthe, Sven
Publié: (2024)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
par: Watson, Connor
Publié: (2024)

Large cardinals, structural reflection, and the HOD Conjecture
par: Aguilera, Juan P., et autres
Publié: (2024)

Large cardinals beyond HOD
par: Aguilera, Juan Pablo, et autres
Publié: (2025)

Compactness in Team Semantics
par: Puljujärvi, Joni, et autres
Publié: (2022)

On a new theory of models for formal mathematical systems
par: Kunik, Matthias
Publié: (2026)

String Dimension: VC Dimension for Infinite Shattering
par: Ryan-Smith, Calliope
Publié: (2024)

Coordinate recognition: General theory, Groups, and other surprises
par: Farah, I., et autres
Publié: (2025)

Expansions and restrictions of structures and theories, their hierarchies
par: Sudoplatov, Sergey V.
Publié: (2025)

An Iteration Theorem for $ω_1$-preserving Forcings
par: Lietz, Andreas
Publié: (2024)

Forcing with random variables in bounded arithmetics and set theory
par: Honzik, Radek
Publié: (2026)

Products of pseudofinite structures
par: D'Aquino, Paola, et autres
Publié: (2024)

A metric lifting theorem
par: De Bondt, Ben, et autres
Publié: (2024)

Model theory of second order logic
par: Väänänen, Jouko
Publié: (2025)

Disjoint Stationary Sequences on an Interval of Cardinals
par: Jakob, Hannes
Publié: (2023)

A Reflection Principle for Potential Infinite Models of Type Theory
par: Eberl, Matthias
Publié: (2024)

Cartagena Logic
par: Kivimäki, Siiri, et autres
Publié: (2021)