A simplified functorial construction of
β
Andreas Weiermann
π
Article
π
1993
π
John Wiley and Sons
π
English
β 222 KB
## Abstract We give a simple and elementary proof of the following result of Girard and Vauzeilles which is proved in [5]: βThe binary Veblen function Ο: __On Γ On β On__ is a dilator.β Our proof indicates the intimate connection between the traditional theory of ordinal notation systems and Girard