Copertina

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Sun, Mengzhou
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03C62, 03F30, 03H15 (Primary) 03F35 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)

The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)

The set-theoretic Kaufmann-Clote question
di: McKenzie, Zachiri
Pubblicazione: (2025)

Satisfaction classes with approximate disjunctive correctness
di: Enayat, Ali
Pubblicazione: (2023)

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

A non-speedup result for the chain-antichain principle over a weak base theory
di: Kowalik, Katarzyna W.
Pubblicazione: (2025)

Truth and collection
di: Wcisło, Bartosz
Pubblicazione: (2024)

Classical determinate truth without induction
di: Wcisło, Bartosz
Pubblicazione: (2024)

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

An ordinal analysis of CM and its extensions
di: Wang, Shuwei
Pubblicazione: (2025)

Sometimes tame, sometimes wild: weak continuity
di: Sanders, Sam
Pubblicazione: (2024)

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

Finite Combinatorics and Fragments of Arithmetic
di: Wang, Wei
Pubblicazione: (2025)

Weak and Strong Versions of Effective Transfinite Recursion
di: Uftring, Patrick
Pubblicazione: (2022)

On the hierarchy of natural theories
di: Walsh, James
Pubblicazione: (2021)

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

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

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

On models of affine arithmetic
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
di: Kanovei, Vladimir, et al.
Pubblicazione: (2024)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
di: Kanovei, Vladimir, et al.
Pubblicazione: (2025)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)

On the relationships between some meta-mathematical properties of arithmetical theories
di: Cheng, Yong
Pubblicazione: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)

Feferman's completeness theorem
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

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

More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)

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

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

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

The behavior of higher proof theory I: Case $Σ^1_2$
di: Jeon, Hanul
Pubblicazione: (2024)

Open questions about Ramsey-type statements in reverse mathematics
di: Patey, Ludovic
Pubblicazione: (2015)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
di: Mancosu, Paolo, et al.
Pubblicazione: (2023)

On two recent extensions of the Big Five of Reverse Mathematics
di: Normann, Dag, et al.
Pubblicazione: (2024)

Reflection ranks via infinitary derivations
di: Walsh, James
Pubblicazione: (2021)

Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
di: Buriola, Gabriele, et al.
Pubblicazione: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)