Buchholz, Wilfried
(2016):
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal.
In: Kahle, Reinhard; Strahm, Thomas und 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 |
