Cover Image

The Borel complexity of the class of models of first-order theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andrews, Uri, Gonzalez, David, Lempp, Steffen, Rossegger, Dino, Zhu, Hongyu
Format:	Preprint
Published:	2024
Subjects:	Logic 03C62, 03C52, 03E15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

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

Borel complexity of families of finite equivalence relations via large cardinals
by: Laskowski, Michael C., et al.
Published: (2024)

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

A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)

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)

On Borel subsets of generalized Baire spaces
by: Hyttinen, Tapani, et al.
Published: (2025)

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)

Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
by: Andrews, Uri, et al.
Published: (2024)

The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)

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

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

On regulated partitions
by: Gao, Su, et al.
Published: (2026)

The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
Published: (2024)

Hausdorff dimension and countable Borel equivalence relations
by: Marks, Andrew, et al.
Published: (2024)

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

Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
by: Banerjee, Rishi, et al.
Published: (2024)

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

A Lopez-Escobar Theorem for Continuous Domains
by: Bazhenov, Nikolay, et al.
Published: (2023)

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)

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

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

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

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

Isomorphism of almost locally compact Polish metric structures
by: Malicki, Maciej
Published: (2025)

The complexity of classifying continuous t-norms up to isomorphism
by: He, Jialiang, et al.
Published: (2024)

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

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Learning Equivalence Relations on Polish Spaces
by: Rossegger, Dino, et al.
Published: (2024)

Counting Sets with Surnatural Numbers
by: Lynch, Peter, et al.
Published: (2023)

Products of pseudofinite structures
by: D'Aquino, Paola, et al.
Published: (2024)

Borel distinguishing number
by: Bilge, Onur, et al.
Published: (2025)