Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal

&
Annals of Pure and Applied Logic 163 (6):669-680 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.11.006

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal.Michiel Smet & Andreas Weiermann - 2012 - Annals of Pure and Applied Logic 163 (6):669-680.
Goodstein sequences for prominent ordinals up to the ordinal of Π11 -CAo.Andreas Weiermann & Gunnar Wilken - 2013 - Annals of Pure and Applied Logic 164 (12):1493-1506.
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal.David Fernández-Duque & Andreas Weiermann - 2024 - Annals of Pure and Applied Logic 175 (8):103455.
Andreas Weiermann. Sometimes slow growing is fast growing. Annals of pure and applied logic, vol. 90 (1997) pp. 91–99.Martin Ruckert - 2000 - Bulletin of Symbolic Logic 6 (2):222-223.
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.Andreas Weiermann - 2005 - Annals of Pure and Applied Logic 136 (1):189-218.
Ordinal arithmetic based on Skolem hulling.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):130-161.
Relativized ordinal analysis: The case of Power Kripke–Platek set theory.Michael Rathjen - 2014 - Annals of Pure and Applied Logic 165 (1):316-339.
Bachmann–Howard derivatives.Anton Freund - 2023 - Archive for Mathematical Logic 62 (5):581-618.
Post’s Problem for ordinal register machines: An explicit approach.Joel David Hamkins & Russell G. Miller - 2009 - Annals of Pure and Applied Logic 160 (3):302-309.
Σ 1 -elementarity and Skolem hull operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.

Analytics

Added to PP
2013-10-27

Downloads
26 (#857,659)

6 months
10 (#420,145)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On the restricted ordinal theorem.R. L. Goodstein - 1944 - Journal of Symbolic Logic 9 (2):33-41.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.
The slow-growing and the grzecorczyk hierarchies.E. A. Cichon & S. S. Wainer - 1983 - Journal of Symbolic Logic 48 (2):399-408.
Some uses of dilators in combinatorial problems.V. Michele Abrusci - 1989 - Archive for Mathematical Logic 29 (2):85-109.

View all 6 references / Add more references