Logo Logo
Hilfe
Hilfe
Switch Language to English

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

Volltext auf 'Open Access LMU' nicht verfügbar.

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.

Dokument bearbeiten Dokument bearbeiten