Buchumschlag

Proof-theoretic dilator and intermediate pointclasses

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jeon, Hanul
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 03F07, 03F15, 03D60, 03F35
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The behavior of higher proof theory I: Case $Σ^1_2$
von: Jeon, Hanul
Veröffentlicht: (2024)

Martin's measurable dilator
von: Jeon, Hanul
Veröffentlicht: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

The proof-theoretic strength of Constructive Second-order set theories
von: Jeon, Hanul
Veröffentlicht: (2023)

Generalizing Goodstein's theorem and Cichon's independence proof
von: Wilken, Gunnar
Veröffentlicht: (2025)

Fundamental sequences based on localization
von: Wilken, Gunnar
Veröffentlicht: (2024)

The Axiom of Double Complement and its opposites
von: Jeon, Hanul, et al.
Veröffentlicht: (2026)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

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

Reflection ranks via infinitary derivations
von: Walsh, James
Veröffentlicht: (2021)

On the hierarchy of natural theories
von: Walsh, James
Veröffentlicht: (2021)

Encoding Sequences in Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2025)

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

Avoiding logical strength in real analysis
von: Freund, Anton, et al.
Veröffentlicht: (2026)

Well-quasi-orders on finite trees and transfinite sequences
von: Chopra, Alakh Dhruv, et al.
Veröffentlicht: (2026)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

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

Weak and Strong Versions of Effective Transfinite Recursion
von: Uftring, Patrick
Veröffentlicht: (2022)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Dilators and the reverse mathematics zoo
von: Freund, Anton
Veröffentlicht: (2024)

Effective inseparability and some applications in meta-mathematics
von: Cheng, Yong
Veröffentlicht: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
von: Cheng, Yong
Veröffentlicht: (2023)

The limitless First Incompleteness Theorem
von: Cheng, Yong
Veröffentlicht: (2021)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

On inverse Goodstein sequences
von: Uftring, Patrick
Veröffentlicht: (2023)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

On the Various Translations between Classical, Intuitionistic and Linear Logic
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

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

Fragments of arithmetic and cyclic proofs
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2025)

Benign approximations and non-speedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2023)

Randomness versus superspeedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
von: Wang, Shuai
Veröffentlicht: (2024)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
von: Sun, Mengzhou
Veröffentlicht: (2024)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

On a new theory of models for formal mathematical systems
von: Kunik, Matthias
Veröffentlicht: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
von: Kunik, Matthias
Veröffentlicht: (2024)

Continuations and Completeness in Proof-theoretic Semantics
von: Gu, Tao, et al.
Veröffentlicht: (2026)