Cover Image

Pathologies in satisfaction classes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abdul-Quader, Athar, Łełyk, Mateusz
Format:	Preprint
Published:	2023
Subjects:	Logic 03C62, 03H15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

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

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

Finite Combinatorics and Fragments of Arithmetic
by: Wang, Wei
Published: (2025)

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

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
by: Maia, Duarte
Published: (2026)

Special classes of functions
by: Freitag, James, et al.
Published: (2026)

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

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

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

Effective infinitesimals in R
by: Hrbacek, Karel, et al.
Published: (2023)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
by: Schmerl, James H.
Published: (2019)

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

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

Spherically orderable groups
by: Sudoplatov, Sergey V.
Published: (2024)

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

Countable models of weakly quasi-o-minimal theories II
by: Moconja, Slavko, et al.
Published: (2026)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)

Definability over $\mathrm BΣ^0_2$-models
by: Chong, Chi Tat, et al.
Published: (2025)

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

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

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

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

Extending orders to types
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)

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

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