Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2107.03521 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On the hierarchy of natural theories
by: Walsh, James
Published: (2021)
by: Walsh, James
Published: (2021)
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)
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)
The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)
by: Jeon, Hanul
Published: (2024)
Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)
by: Erdélyi-Szabó, Miklós
Published: (2025)
Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)
by: Erdélyi-Szabó, Miklós
Published: (2024)
Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)
by: Jeon, Hanul
Published: (2025)
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)
An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)
by: Wang, Shuwei
Published: (2025)
Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)
by: Freund, Anton
Published: (2024)
The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)
by: Jeon, Hanul, et al.
Published: (2026)
Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)
by: Gruza, Piotr, et al.
Published: (2025)
On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)
by: Visser, Albert
Published: (2026)
Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)
by: Uftring, Patrick
Published: (2022)
On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)
by: Uftring, Patrick
Published: (2023)
Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)
by: Uftring, Patrick
Published: (2025)
Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)
by: Kanovei, Vladimir, et al.
Published: (2025)
On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)
by: Kanovei, Vladimir, et al.
Published: (2024)
From Numbers to Container Strings
by: Visser, Albert
Published: (2024)
by: Visser, Albert
Published: (2024)
On Rosser theories
by: Cheng, Yong
Published: (2024)
by: Cheng, Yong
Published: (2024)
Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)
by: Kurahashi, Taishi, et al.
Published: (2023)
There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)
by: Cheng, Yong
Published: (2022)
Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)
by: Enayat, Ali, et al.
Published: (2025)
Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)
by: Freund, Anton
Published: (2021)
The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)
by: Jeon, Hanul
Published: (2023)
On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)
by: Ferreira, Gilda, et al.
Published: (2024)
The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)
by: Ferreira, Fernando, et al.
Published: (2025)
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)
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)
Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)
by: Ferreira, Gilda, et al.
Published: (2024)
A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)
by: Anttila, Aleksi, et al.
Published: (2025)
Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)
by: Pezlar, Ivo
Published: (2023)
Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)
by: De Domenico, Andrea, et al.
Published: (2022)
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)
by: Fusco, Ludovico, et al.
Published: (2025)
The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)
by: Sun, Mengzhou
Published: (2025)
Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)
by: Liu, Yong, et al.
Published: (2026)
When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)
by: Friedman, Harvey M., et al.
Published: (2025)
Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)
by: Chopra, Alakh Dhruv, et al.
Published: (2026)
Generic groups and the weak amalgamation property
by: Ivanov, Aleksander, et al.
Published: (2024)
by: Ivanov, Aleksander, et al.
Published: (2024)