Image de couverture de livre

Generalizing Goodstein's theorem and Cichon's independence proof

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Wilken, Gunnar
Format:	Preprint
Publié:	2025
Sujets:	Logic 03F40, 03D20, 03D60, 03F15
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
par: Aguilera, Juan P., 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)

Benign approximations and non-speedability
par: Hölzl, Rupert, et autres
Publié: (2023)

Randomness versus superspeedability
par: Hölzl, Rupert, et autres
Publié: (2024)

The computational content of multidimensional discontinuity
par: Hölzl, Rupert, et autres
Publié: (2024)

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

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

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

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

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
par: Ho, Meng-Che "Turbo", et autres
Publié: (2024)

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

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

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

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

Algorithmically finite, universal, and $*$-universal groups
par: Andrews, Uri, et autres
Publié: (2024)

Two results on complexities of decision problems of groups
par: Andrews, Uri, et autres
Publié: (2024)

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

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)

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

Computable Approximations of Semicomputable Graphs
par: Čačić, Vedran, et autres
Publié: (2024)

Problems with fixpoints of polynomials of polynomials
par: Pradic, Cécilia, et autres
Publié: (2026)

Automatic structures and the problem of natural well-orderings
par: Beklemishev, Lev D., et autres
Publié: (2024)

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

Semi-Algebraic Proof Systems for QBF
par: Beyersdorff, Olaf, et autres
Publié: (2025)

Adversarial Barrier in Uniform Class Separation
par: Rosko, Milan
Publié: (2025)

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

A proof complexity conjecture and the Incompleteness theorem
par: Krajicek, Jan
Publié: (2023)

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

Computably discrete represented spaces
par: Neumann, Eike, et autres
Publié: (2025)

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)

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

Generic groups and the weak amalgamation property
par: Ivanov, Aleksander, et autres
Publié: (2024)

Consistent ultrafinitist logic
par: Gajda, Michał J.
Publié: (2021)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
par: Anttila, Aleksi, et autres
Publié: (2025)

Effective bases and notions of effective second countability in computable analysis
par: Brattka, Vasco, et autres
Publié: (2025)

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