Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.03778 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)
by: Liu, Yiqun, et al.
Published: (2025)
Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)
by: Liu, Yong, et al.
Published: (2026)
Finite final segments of the d.c.e. Turing degrees
by: Lempp, Steffen, et al.
Published: (2024)
by: Lempp, Steffen, et al.
Published: (2024)
Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
Martin's Conjecture in the Enumeration Degrees
by: Cordero, Antonio Nakid
Published: (2025)
by: Cordero, Antonio Nakid
Published: (2025)
A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)
by: Kowalik, Katarzyna W.
Published: (2025)
Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)
by: Gruza, Piotr, et al.
Published: (2025)
A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)
by: Gerdes, Peter
Published: (2023)
Finite Combinatorics and Fragments of Arithmetic
by: Wang, Wei
Published: (2025)
by: Wang, Wei
Published: (2025)
Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)
by: Wcisło, Bartosz
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)
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)
Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)
by: Cheng, Yong
Published: (2022)
On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)
by: Cheng, Yong
Published: (2023)
The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)
by: Cheng, Yong
Published: (2021)
On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
by: Song, Sirun, et al.
Published: (2025)
by: Song, Sirun, et al.
Published: (2025)
Truth and collection
by: Wcisło, Bartosz
Published: (2024)
by: Wcisło, Bartosz
Published: (2024)
Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)
by: Wcisło, Bartosz
Published: (2024)
The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)
by: Sun, Mengzhou
Published: (2024)
Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)
by: Freund, Anton
Published: (2024)
Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)
by: Li, Ang
Published: (2024)
On the limits of comparing subset sizes within $\mathbb{N}$
by: Wenmackers, Sylvia
Published: (2024)
by: Wenmackers, Sylvia
Published: (2024)
Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)
by: Buriola, Gabriele, et al.
Published: (2025)
The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)
by: Vodrazka, Daniel
Published: (2025)
The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)
by: Jeon, Hanul
Published: (2024)
Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)
by: Uftring, Patrick
Published: (2022)
Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)
by: Pakhomov, Fedor, et al.
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)
by: Cipriani, Vittorio, et al.
Published: (2022)
Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)
by: Houérou, Quentin Le, et al.
Published: (2026)
On the hierarchy of natural theories
by: Walsh, James
Published: (2021)
by: Walsh, James
Published: (2021)
An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)
by: Samra, Jean Abou, et al.
Published: (2026)
The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)
by: Hölzl, Rupert, et al.
Published: (2024)
The singleton degrees of the $Σ^0_2$ sets are not dense
by: Kent, Thomas F., et al.
Published: (2024)
by: Kent, Thomas F., et al.
Published: (2024)
The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)
by: Carlucci, Lorenzo, et al.
Published: (2026)
Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)
by: Anand, Bhupinder Singh
Published: (2024)
Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)
by: Wilken, Gunnar
Published: (2025)
Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)
by: Wilken, Gunnar
Published: (2024)
On Rosser theories
by: Cheng, Yong
Published: (2024)
by: Cheng, Yong
Published: (2024)
There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)
by: Cheng, Yong
Published: (2022)
On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)
by: Uftring, Patrick
Published: (2023)
Open Problems in Computability Theory and Descriptive Set Theory
by: Barmpalias, George, et al.
Published: (2025)
by: Barmpalias, George, et al.
Published: (2025)