Cover Image

Models of Set Theory: Extensions and Dead-ends

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Enayat, Ali
Format:	Preprint
Published:	2024
Subjects:	Logic 03C62
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

The Mostowski Bridge
by: Enayat, Ali
Published: (2025)

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

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

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

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

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

Incompleteness of boundedly axiomatizable theories
by: Enayat, Ali, et al.
Published: (2023)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

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

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

On the Model Theory of Second-Order Objects
by: Hyttinen, Tapani, et al.
Published: (2024)

Residually Constructible Extensions
by: Freni, Pietro, et al.
Published: (2025)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Extensions of categoricity relative to a degree
by: Villano, Java Darleen
Published: (2025)

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

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

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

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

A characterization of locally ordered ternary relations in terms of digraphs
by: Quintero, Guillermo Gamboa, et al.
Published: (2025)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Model Theory of Generic Vector Space Endomorphisms II
by: Chini, Leon
Published: (2025)