Imagen de Portada

Partially-elementary end extensions of countable models of set theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	McKenzie, Zachiri
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03C62, 03H99, 03C70
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The set-theoretic Kaufmann-Clote question
por: McKenzie, Zachiri
Publicado: (2025)

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

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

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

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

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

Effective infinitesimals in R
por: Hrbacek, Karel, et al.
Publicado: (2023)

Implicative models of set theory
por: Maschio, Samuele, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

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

On the downward Löwenheim-Skolem Theorem for elementary submodels
por: Kunik, Matthias
Publicado: (2024)

On the undefinability of pathological Banach spaces
por: Hamel, Clovis, et al.
Publicado: (2024)

Librationism & its classical and extraclassical set theories
por: Bjørdal, Frode A.
Publicado: (2022)

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

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

Notions of rank and independence in countably categorical theories
por: Koponen, Vera
Publicado: (2025)

Zilber dichotomy for $DCF_{0,m}$
por: Sanchez, Omar Leon
Publicado: (2024)

Fields with Lie-commuting and iterative operators
por: Dobrowolski, Jan, et al.
Publicado: (2025)

The uniform companion for fields with free operators in characteristic zero
por: Mohamed, Shezad
Publicado: (2023)

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

Relativized Galois groups of first order theories over a hyperimaginary
por: Lee, Hyoyoon, et al.
Publicado: (2024)

On a new theory of models for formal mathematical systems
por: Kunik, Matthias
Publicado: (2026)

Elements of affine model theory
por: Bagheri, Seyed-Mohammad
Publicado: (2024)

Some contributions to presheaf model theory
por: Brunner, Andreas, et al.
Publicado: (2024)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

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

Stable reducts of elementary extensions of Presburger arithmetic
por: Alouf, Eran, et al.
Publicado: (2024)

Definable Galois theory for bimeromorphic geometry
por: Moosa, Rahim, et al.
Publicado: (2025)

Some contributions to presheaf model theory, II -- back and forth
por: Brunner, Andreas, et al.
Publicado: (2026)

Neostability transfers in derivation-like theories
por: Sanchez, Omar Leon, et al.
Publicado: (2024)

Interpolation in model theory
por: Väänänen, Jouko
Publicado: (2025)