Buchholz, Wilfried
(2016):
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal.
In: Kahle, Reinhard; Strahm, Thomas und Studer, Thomas (Hrsg.):
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 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.
Dokumententyp: | Buchbeitrag |
---|---|
Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
ISBN: | 978-3-319-29196-3; 978-3-319-29198-7 |
Ort: | Cham |
Sprache: | Englisch |
Dokumenten ID: | 47313 |
Datum der Veröffentlichung auf Open Access LMU: | 27. Apr. 2018, 08:12 |
Letzte Änderungen: | 04. Nov. 2020, 13:24 |