Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

&
Annals of Pure and Applied Logic 175 (8):103455 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103455

Other Versions

No versions found

Links

PhilArchive



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

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 De Smet & Andreas Weiermann - 2012 - Annals of Pure and Applied Logic 163 (6):669-680.
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.
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.
Equational derivation vs. computation.W. G. Handley & S. S. Wainer - 1994 - Annals of Pure and Applied Logic 70 (1):17-49.
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.
The Bachmann-Howard Structure in Terms of Σ1-Elementarity.Gunnar Wilken - 2006 - Archive for Mathematical Logic 45 (7):807-829.
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.
The countable admissible ordinal equivalence relation.William Chan - 2017 - Annals of Pure and Applied Logic 168 (6):1224-1246.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.

Analytics

Added to PP
2024-05-14

Downloads
7 (#1,643,871)

6 months
6 (#888,477)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.

View all 7 references / Add more references