Image de couverture de livre

The behavior of higher proof theory I: Case $Σ^1_2$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Jeon, Hanul
Format:	Preprint
Publié:	2024
Sujets:	Logic 03F03, 03F15, 03F35, 03E10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The proof-theoretic strength of Constructive Second-order set theories
par: Jeon, Hanul
Publié: (2023)

Proof-theoretic dilator and intermediate pointclasses
par: Jeon, Hanul
Publié: (2025)

The Axiom of Double Complement and its opposites
par: Jeon, Hanul, et autres
Publié: (2026)

Martin's measurable dilator
par: Jeon, Hanul
Publié: (2025)

On inverse Goodstein sequences
par: Uftring, Patrick
Publié: (2023)

On the hierarchy of natural theories
par: Walsh, James
Publié: (2021)

Reflection ranks via infinitary derivations
par: Walsh, James
Publié: (2021)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

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

On the significance of parameters and the projective level in the Choice and Comprehension axioms
par: Kanovei, Vladimir, et autres
Publié: (2024)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
par: Kanovei, Vladimir, et autres
Publié: (2025)

Weak and Strong Versions of Effective Transfinite Recursion
par: Uftring, Patrick
Publié: (2022)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

On Separating Wholeness Axioms
par: Jeon, Hanul
Publié: (2023)

An equiconsistency proof for $\mathrm{CZF} + V = L$
par: Wang, Shuwei
Publié: (2026)

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

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
par: Aguilera, Juan P., et autres
Publié: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
par: Wilken, Gunnar
Publié: (2025)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
par: Müller, Sandra, et autres
Publié: (2025)

A Non-Constructive Proof of Cantor's Theorem
par: Salehi, Saeed
Publié: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
par: Erdélyi-Szabó, Miklós
Publié: (2024)

Encoding Sequences in Intuitionistic Real Algebra
par: Erdélyi-Szabó, Miklós
Publié: (2025)

On a cofinal Reinhardt embedding without Powerset
par: Jeon, Hanul
Publié: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
par: Badano, Mariana
Publié: (2025)

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

Robinson Splitting Theorem and $Σ_1$ Induction
par: Liu, Yong, et autres
Publié: (2026)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

Reduced Set Theory
par: Kunik, Matthias
Publié: (2023)

Constructive validity of a generalized Kreisel-Putnam rule
par: Pezlar, Ivo
Publié: (2023)

Isolated d.c.e. degrees and $Σ_1$ induction
par: Liu, Yiqun, et autres
Publié: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
par: Liu, Yong, et autres
Publié: (2025)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
par: Hoffelner, Stefan
Publié: (2026)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

Avoiding logical strength in real analysis
par: Freund, Anton, et autres
Publié: (2026)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)