A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal

DOI10.1007/978-3-319-29198-7_1zbMath1439.03100OpenAlexW2484192180MaRDI QIDQ3305550

Wilfried Buchholz

Publication date: 7 August 2020

Published in: Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29198-7_1

zbMATH Keywords

ordinal notationsVeblen hierarchyadditive principal numbersFefermanproof-theoretic applications

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10)

Related Items (2)

A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal ⋮ A flexible type system for the small Veblen ordinal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new system of proof-theoretic ordinal functions
• Proof-theoretic investigations on Kruskal's theorem
• An extension of Schütte's Klammersymbole
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• Natural well-orderings
• A simplification of the Bachmann method for generating large countable ordinals
• Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
• Describing ordinals using functionals of transfinite type

This page was built for publication: A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal