Buchholz, Wilfried
(2016):
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal.
In: Kahle, Reinhard; Strahm, Thomas and Studer, Thomas (eds.) :
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Vol. 28. Cham: Birkhäuser. pp. 1-29
Abstract
Various ordinal functions which in the past have been used to describe ordinals not much larger than the Bachmann-Howard ordinal are set into relation.
Item Type: | Book Section |
---|---|
Faculties: | Mathematics, Computer Science and Statistics > Mathematics |
Subjects: | 500 Science > 510 Mathematics |
ISBN: | 978-3-319-29196-3; 978-3-319-29198-7 |
Place of Publication: | Cham |
Language: | English |
Item ID: | 47313 |
Date Deposited: | 27. Apr 2018, 08:12 |
Last Modified: | 04. Nov 2020, 13:24 |