Cover Image

Taking model-complete cores

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bodirsky, Manuel, Bodor, Bertalan, Marimon, Paolo
Format:	Preprint
Published:	2025
Subjects:	Logic 03C10, 03C40, 03C45, 20B27
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
by: Bodirsky, Manuel, et al.
Published: (2020)

Structures with not too fast unlabelled growth
by: Bodor, Bertalan
Published: (2025)

Elements of affine model theory
by: Bagheri, Seyed-Mohammad
Published: (2024)

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)

Higher-arity distality and forking triviality
by: Tong, Mervyn
Published: (2026)

Saturation of reduced products
by: De Bondt, Ben, et al.
Published: (2024)

Generic multiplicative endomorphism of a field
by: d'Elbée, Christian
Published: (2022)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

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

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Pseudofiniteness in Hrushovski Constructions
by: Valizadeh, Ali N., et al.
Published: (2018)

On Cohesive Products of Fields
by: Dimitrov, Rumen, et al.
Published: (2026)

Determining the normal subgroups of the automorphism groups of ultrahomogeneous structures via stabilisers
by: Bernert, Thomas, et al.
Published: (2026)

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)

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

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

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)

Logic families
by: Andréka, H., et al.
Published: (2023)

Examples of non-tame abstract elementary classes of abelian groups
by: Herden, Daniel, et al.
Published: (2026)

An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example
by: Herden, Daniel, et al.
Published: (2026)

The spectrum of limit models in a first order setting
by: Beard, Jeremy
Published: (2025)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Modal group theory
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)

Local stability in structures with a standard sort
by: Barbina, Silvia, et al.
Published: (2025)

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

On the Model Theory of Second-Order Objects
by: Hyttinen, Tapani, et al.
Published: (2024)

Automorphisms of the Rado meet-tree
by: Kaplan, Itay, et al.
Published: (2023)

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

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

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

The generalized continuous model theory, Borel complexity and stability
by: Ivanov, Aleksander
Published: (2026)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)

Twins: non-isomorphic models forced to be isomorphic. Part I
by: Shelah, Saharon
Published: (2025)

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