Cover Image

Generalized Schatunowsky theorem in a weak arithmetic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	King, Hala, Pambuccian, Victor
Format:	Preprint
Published:	2025
Subjects:	Logic 03B30 03C62 03H15 11A41
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Classical determinate truth without induction
by: Wcisło, Bartosz
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)

On the axiomatics of projective and affine geometry in terms of line intersection
by: Havlicek, Hans, et al.
Published: (2013)

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

The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
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)

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

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

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

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

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

On the limits of comparing subset sizes within $\mathbb{N}$
by: Wenmackers, Sylvia
Published: (2024)

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)

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

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

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

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)

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

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

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

Formalizing Pfaffian in bounded arithmetic
by: Kuroda, Satoru
Published: (2024)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
by: Rosko, Milan
Published: (2025)

Logic families
by: Andréka, H., et al.
Published: (2023)

Preservation Theorems Through the Lens of Topology
by: Lopez, Aliaume
Published: (2020)

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

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

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

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

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Stability, corners, and other 2-dimensional shapes
by: Martin-Pizarro, Amador, et al.
Published: (2022)

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)