A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
From MaRDI portal
Publication:5214782
DOI10.1007/978-3-319-63334-3_4zbMath1429.03206OpenAlexW4231748387MaRDI QIDQ5214782
Publication date: 5 February 2020
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_4
Related Items (3)
On the Performance of Axiom Systems ⋮ PREDICATIVE COLLAPSING PRINCIPLES ⋮ Monomial ideals and independence of
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ordinal notations based on a weakly Mahlo cardinal
- Proof theory. 2nd ed
- Ordinal notations based on a hierarchy of inaccessible cardinals
- Proof-theoretic investigations on Kruskal's theorem
- Proof theory of reflection
- An extension of Schütte's Klammersymbole
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
- 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)$$
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- Describing ordinals using functionals of transfinite type
- A system of abstract constructive ordinals
This page was built for publication: A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal