Image de couverture de livre

On the relationships between some meta-mathematical properties of arithmetical theories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Cheng, Yong
Format:	Preprint
Publié:	2023
Sujets:	Logic 03F40, 03F30, 03D35
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

On Rosser theories
par: Cheng, Yong
Publié: (2024)

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

There are no minimal effectively inseparable theories
par: Cheng, Yong
Publié: (2022)

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

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

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

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

Open questions about Ramsey-type statements in reverse mathematics
par: Patey, Ludovic
Publié: (2015)

Pour-El's Landscape
par: Kurahashi, Taishi, et autres
Publié: (2023)

From Numbers to Container Strings
par: Visser, Albert
Publié: (2024)

Completions of Restricted Complexity I, Weak Arithmetical Theories
par: Enayat, Ali, et autres
Publié: (2025)

Extensional Independence
par: Kurahashi, Taishi, et autres
Publié: (2025)

On a Question of Hamkins'
par: Visser, Albert
Publié: (2025)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

Categorical structure in coherent theory of arithmetic
par: Ye, Lingyuan
Publié: (2023)

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

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

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

Fragments of arithmetic and cyclic proofs
par: Beklemishev, Lev D., et autres
Publié: (2025)

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

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

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

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

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

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

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

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

Fundamental sequences based on localization
par: Wilken, Gunnar
Publié: (2024)

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

Herbrandized modified realizability
par: Ferreira, Gilda, et autres
Publié: (2024)

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

Approximation theorems throughout Reverse Mathematics
par: Sanders, Sam
Publié: (2023)

Big in Reverse Mathematics: measure and category
par: Sanders, Sam
Publié: (2023)

On two recent extensions of the Big Five of Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

A note on continuous functions on metric spaces
par: Sanders, Sam
Publié: (2024)

On sequential theorems in Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

Coding is hard
par: Sanders, Sam
Publié: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
par: Kulshreshtha, Dhruv
Publié: (2024)