Copertina

On the hierarchy of natural theories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Walsh, James
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic 03F25, 03F40, 03F15, 03F30, 03F35
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reflection ranks via infinitary derivations
di: Walsh, James
Pubblicazione: (2021)

On Rosser theories
di: Cheng, Yong
Pubblicazione: (2024)

There are no minimal effectively inseparable theories
di: Cheng, Yong
Pubblicazione: (2022)

From Numbers to Container Strings
di: Visser, Albert
Pubblicazione: (2024)

Pour-El's Landscape
di: Kurahashi, Taishi, et al.
Pubblicazione: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
di: Enayat, Ali, et al.
Pubblicazione: (2025)

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

On the relationships between some meta-mathematical properties of arithmetical theories
di: Cheng, Yong
Pubblicazione: (2023)

The limitless First Incompleteness Theorem
di: Cheng, Yong
Pubblicazione: (2021)

Effective inseparability and some applications in meta-mathematics
di: Cheng, Yong
Pubblicazione: (2022)

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

The behavior of higher proof theory I: Case $Σ^1_2$
di: Jeon, Hanul
Pubblicazione: (2024)

Weak and Strong Versions of Effective Transfinite Recursion
di: Uftring, Patrick
Pubblicazione: (2022)

Herbrandized modified realizability
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

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

On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

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

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

Extensional Independence
di: Kurahashi, Taishi, et al.
Pubblicazione: (2025)

On a Question of Hamkins'
di: Visser, Albert
Pubblicazione: (2025)

Proof-theoretic dilator and intermediate pointclasses
di: Jeon, Hanul
Pubblicazione: (2025)

On a Theorem by Bezboruah & Shepherdson
di: Visser, Albert
Pubblicazione: (2026)

An ordinal analysis of CM and its extensions
di: Wang, Shuwei
Pubblicazione: (2025)

Avoiding logical strength in real analysis
di: Freund, Anton, et al.
Pubblicazione: (2026)

Feferman's completeness theorem
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

The Axiom of Double Complement and its opposites
di: Jeon, Hanul, et al.
Pubblicazione: (2026)

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

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

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

Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)

The proof-theoretic strength of Constructive Second-order set theories
di: Jeon, Hanul
Pubblicazione: (2023)

Serial Properties, Selector Proofs, and the Provability of Consistency
di: Artemov, Sergei
Pubblicazione: (2024)

Non-Compact Proofs
di: Artemov, Sergei
Pubblicazione: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
di: Artemov, Sergei
Pubblicazione: (2025)

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

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
di: Fukumoto, Yusei
Pubblicazione: (2025)

Fundamental sequences based on localization
di: Wilken, Gunnar
Pubblicazione: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
di: Wilken, Gunnar
Pubblicazione: (2025)

Well-quasi-orders on finite trees and transfinite sequences
di: Chopra, Alakh Dhruv, et al.
Pubblicazione: (2026)