Cover Image

On the downward Löwenheim-Skolem Theorem for elementary submodels

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kunik, Matthias
Format:	Preprint
Published:	2024
Subjects:	Logic 03C07, 03F03, 03C55
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
by: Tall, Franklin D., et al.
Published: (2024)

Model theory of class-sized logics
by: Osinski, Jonathan, et al.
Published: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Cartagena Logic
by: Kivimäki, Siiri, et al.
Published: (2021)

Some NIP-like phenomena in NTP$_{2}$
by: Kaplan, Itay, et al.
Published: (2017)

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

On Some Infinitary Logics
by: Vaananen, Jouko, et al.
Published: (2024)

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)

Building complicated index models and Boolean algebras
by: Shelah, Saharon
Published: (2024)

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
by: Boney, Will, et al.
Published: (2025)

Club guessing and the universal models
by: Džamonja, Mirna
Published: (2006)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Flatness and Nonforking without the Continuum Hypothesis
by: Majozi, Philani Rodney
Published: (2025)

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

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

On Stability and Existence of Models in Abstract Elementary Classes
by: Mazari-Armida, Marcos, et al.
Published: (2024)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Quite Complete Real Closed fields
by: Shelah, Saharon
Published: (2001)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

$\leq_{SP}$ Can Have Infinitely Many Classes
by: Shelah, Saharon, et al.
Published: (2018)

Cohen Generic Structures with Functions
by: Ackerman, Nathanael, et al.
Published: (2023)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)

Fragments of arithmetic and cyclic proofs
by: Beklemishev, Lev D., et al.
Published: (2025)