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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

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.
Γ0 May Be Minimal Subrecursively Inaccessible.Andreas Weiermann - 2001 - Mathematical Logic Quarterly 47 (3):397-408.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
Sometimes slow growing is fast growing.Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 90 (1-3):91-99.
On Wainer's notation for a minimal subrecursive inaccessible ordinal.Noriya Kadota - 1993 - Mathematical Logic Quarterly 39 (1):217-227.
The Bachmann-Howard Structure in Terms of Σ1-Elementarity.Gunnar Wilken - 2006 - Archive for Mathematical Logic 45 (7):807-829.
Bachmann–Howard derivatives.Anton Freund - 2023 - Archive for Mathematical Logic 62 (5):581-618.
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones. [REVIEW]Andreas Weiermann - 1995 - Archive for Mathematical Logic 34 (5):313-330.
Ptykes in GödelsT und Definierbarkeit von Ordinalzahlen.Peter Päppinghaus - 1989 - Archive for Mathematical Logic 28 (2):119-141.
Slow versus fast growing.Andreas Weiermann - 2002 - Synthese 133 (1-2):13 - 29.
An order-theoretic characterization of the Howard–Bachmann-hierarchy.Jeroen Van der Meeren, Michael Rathjen & Andreas Weiermann - 2017 - Archive for Mathematical Logic 56 (1-2):79-118.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
The strength of Martin-Löf type theory with a superuniverse. Part II.Michael Rathjen - 2001 - Archive for Mathematical Logic 40 (3):207-233.
The strength of Martin-Löf type theory with a superuniverse. Part I.Michael Rathjen - 2000 - Archive for Mathematical Logic 39 (1):1-39.

Analytics

Added to PP
2024-05-14

Downloads
1 (#1,909,106)

6 months
1 (#1,503,385)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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