Buchumschlag

The Lattice Problem for Models of $\mathsf{PA}$

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abdul-Quader, Athar, Kossak, Roman
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03C62, 03H15
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Pathologies in satisfaction classes
von: Abdul-Quader, Athar, et al.
Veröffentlicht: (2023)

Classifying the complexity of models of arithmetic
von: Gonzalez, David, et al.
Veröffentlicht: (2025)

On models of affine arithmetic
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2025)

Saturation properties for compositional truth with propositional correctness
von: Wcisło, Bartosz
Veröffentlicht: (2024)

Truth and collection
von: Wcisło, Bartosz
Veröffentlicht: (2024)

Classical determinate truth without induction
von: Wcisło, Bartosz
Veröffentlicht: (2024)

Generalized Schatunowsky theorem in a weak arithmetic
von: King, Hala, et al.
Veröffentlicht: (2025)

The set-theoretic Kaufmann-Clote question
von: McKenzie, Zachiri
Veröffentlicht: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
von: Sun, Mengzhou
Veröffentlicht: (2024)

Partially-elementary end extensions of countable models of set theory
von: McKenzie, Zachiri
Veröffentlicht: (2024)

The Borel complexity of the class of models of first-order theories
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
von: Schmerl, James H.
Veröffentlicht: (2019)

Finite Combinatorics and Fragments of Arithmetic
von: Wang, Wei
Veröffentlicht: (2025)

Forcing with random variables in bounded arithmetics and set theory
von: Honzik, Radek
Veröffentlicht: (2026)

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
von: Maia, Duarte
Veröffentlicht: (2026)

Models of Set Theory: Extensions and Dead-ends
von: Enayat, Ali
Veröffentlicht: (2024)

Counting Sets with Surnatural Numbers
von: Lynch, Peter, et al.
Veröffentlicht: (2023)

Implicative models of set theory
von: Maschio, Samuele, et al.
Veröffentlicht: (2023)

Self-divisible ultrafilters and congruences in $β\mathbb{Z}$
von: Di Nasso, Mauro, et al.
Veröffentlicht: (2023)

Effective infinitesimals in R
von: Hrbacek, Karel, et al.
Veröffentlicht: (2023)

Borel complexity of families of finite equivalence relations via large cardinals
von: Laskowski, Michael C., et al.
Veröffentlicht: (2024)

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

Spherically orderable groups
von: Sudoplatov, Sergey V.
Veröffentlicht: (2024)

Topological dynamics and the complexity of strong types
von: Krupiński, Krzysztof, et al.
Veröffentlicht: (2015)

Countable models of weakly quasi-o-minimal theories II
von: Moconja, Slavko, et al.
Veröffentlicht: (2026)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
von: Liu, Yiqun, et al.
Veröffentlicht: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

Tightness and solidity in fragments of Peano Arithmetic
von: Gruza, Piotr, et al.
Veröffentlicht: (2025)

Definability over $\mathrm BΣ^0_2$-models
von: Chong, Chi Tat, et al.
Veröffentlicht: (2025)

On double-membership graphs of models of Anti-Foundation
von: Adam-Day, Bea, et al.
Veröffentlicht: (2019)

Special classes of functions
von: Freitag, James, et al.
Veröffentlicht: (2026)

The generalized continuous model theory, Borel complexity and stability
von: Ivanov, Aleksander
Veröffentlicht: (2026)

Isomorphism of almost locally compact Polish metric structures
von: Malicki, Maciej
Veröffentlicht: (2025)

A Complete Bounded Theory with Unbounded Types
von: Zhu, Hongyu
Veröffentlicht: (2026)

Extending orders to types
von: Baglini, Lorenzo Luperi, et al.
Veröffentlicht: (2025)

Model Theory of Homogeneous D-sets
von: Estrada, Felipe, et al.
Veröffentlicht: (2025)

Satisfaction classes with approximate disjunctive correctness
von: Enayat, Ali
Veröffentlicht: (2023)

On Borel subsets of generalized Baire spaces
von: Hyttinen, Tapani, et al.
Veröffentlicht: (2025)

Models of an Abstract Elementary Class as a Generalized Polish Space
von: Marangelis, Georgios
Veröffentlicht: (2025)