Imagen de Portada

Classifying the complexity of models of arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gonzalez, David, Łełyk, Mateusz, Rossegger, Dino, Szlufik, Patryk
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03C62, 03E15, 03H15
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Borel complexity of the class of models of first-order theories
por: Andrews, Uri, et al.
Publicado: (2024)

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

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

On models of affine arithmetic
por: Bagheri, Seyed-Mohammad
Publicado: (2025)

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

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

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
por: Sun, Mengzhou
Publicado: (2024)

Generalized Schatunowsky theorem in a weak arithmetic
por: King, Hala, et al.
Publicado: (2025)

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

Tightness and solidity in fragments of Peano Arithmetic
por: Gruza, Piotr, et al.
Publicado: (2025)

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

Feferman's completeness theorem
por: Pakhomov, Fedor, et al.
Publicado: (2024)

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

Truth and collection
por: Wcisło, Bartosz
Publicado: (2024)

Classical determinate truth without induction
por: Wcisło, Bartosz
Publicado: (2024)

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

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

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

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

Uniformity in learning structures
por: Cipriani, Vittorio, et al.
Publicado: (2025)

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

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

Topological dynamics and the complexity of strong types
por: Krupiński, Krzysztof, et al.
Publicado: (2015)

Generalized Descriptive Set Theory and Classification Theory
por: Friedman, Sy-David, et al.
Publicado: (2012)

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

Isomorphism of almost locally compact Polish metric structures
por: Malicki, Maciej
Publicado: (2025)

A Complete Bounded Theory with Unbounded Types
por: Zhu, Hongyu
Publicado: (2026)

Martin's measurable dilator
por: Jeon, Hanul
Publicado: (2025)

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

Counting Sets with Surnatural Numbers
por: Lynch, Peter, et al.
Publicado: (2023)

The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
por: Shani, Assaf
Publicado: (2024)

$Σ^1_3$ sets in the Sacks model
por: Schilhan, Jonathan
Publicado: (2025)

Definable discrete sets with large continuum
por: Schrittesser, David
Publicado: (2016)

Finite Combinatorics and Fragments of Arithmetic
por: Wang, Wei
Publicado: (2025)

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

Maximal eventually different families for uniformly weak Ramsey ideals
por: He, Jialiang, et al.
Publicado: (2024)

Integration on the Surreals
por: Costin, Ovidiu, et al.
Publicado: (2022)

Hyper-hyperfiniteness and complexity
por: Frisch, Joshua, et al.
Publicado: (2024)

Partial Tower Sealing
por: Sargsyan, Grigor, et al.
Publicado: (2025)

Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
por: Hoffelner, Stefan
Publicado: (2025)