Cover Image

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kuijer, Louwe, Tan, Tony, Wolter, Frank, Zakharyaschev, Michael
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 03B45 (Primary) 03C40 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

From Interpolating Formulas to Separating Languages and Back Again
by: Kurucz, Agi, et al.
Published: (2025)

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

The Size of Interpolants in Modal Logics
by: Cate, Balder ten, et al.
Published: (2025)

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

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

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

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

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

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

Nonvaluational ordered Abelian groups of finite burden
by: Fujita, Masato
Published: (2025)

The O-minimal Zilber Conjecture in Higher Dimensions
by: Castle, Benjamin
Published: (2024)

On the spectrum of limit models
by: Beard, Jeremy, et al.
Published: (2025)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

Orthogonality and domination in o-minimal expansions of ordered groups
by: Guerrero, Pablo Andújar, et al.
Published: (2025)

Some definable types that cannot be amalgamated
by: Hils, Martin, et al.
Published: (2022)

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

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

Long limit models are isomorphic assuming a splitting-like relation
by: Beard, Jeremy
Published: (2025)

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

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

Disjoint non-forking amalgamation in stable AECs
by: Beard, Jeremy
Published: (2026)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

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

Multidimensional asymptotic classes
by: Anscombe, Sylvy, et al.
Published: (2024)

Density of compressible types and some consequences
by: Bays, Martin, et al.
Published: (2021)

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

Towards a Finer Classification of Strongly Minimal Sets
by: Baldwin, John T., et al.
Published: (2021)

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

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, 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)

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

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)