Cover Image

More on expressibility of satisfiability in submodels and extensions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Poliakov, Nikolai L., Saveliev, Denis I.
Format:	Preprint
Published:	2026
Subjects:	Logic Primary 03B45, 03C75 Secondary 03C52, 03C85, 03E10, 03E55
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

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

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

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

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

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

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

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

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

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

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

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

Marginalia to a Theorem of Asperó and Schindler
by: Kasum, Obrad, et al.
Published: (2023)

An NIP-like Notion in Abstract Elementary Classes
by: Yang, Wentao
Published: (2023)

String Dimension: VC Dimension for Infinite Shattering
by: Ryan-Smith, Calliope
Published: (2024)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
by: Hossain, Akash
Published: (2024)

Models of an Abstract Elementary Class as a Generalized Polish Space
by: Marangelis, Georgios
Published: (2025)

Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

Any function I can actually write down is measurable, right?
by: Hanson, James E.
Published: (2025)

Large cardinals, structural reflection, and the HOD Conjecture
by: Aguilera, Juan P., et al.
Published: (2024)

Inner models from extended logics and the Delta-operation
by: Väänänen, Jouko, et al.
Published: (2025)

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025)

On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)

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

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)

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

No universal group in a cardinal
by: Shelah, Saharon
Published: (2013)

Some notes on plump ordinals
by: Wang, Shuwei
Published: (2026)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)