Extending the Veblen Function
Logic
2023-12-27 v2
Abstract
This paper serves to define an extension, which we call dimensional Veblen, of Oswald Veblen's system of ordinal functions below the large Veblen ordinal. This is facilitated by iterating derivatives of ordinal functions along multidimensional array structures, and can be viewed as the "maximal" natural extension of the Veblen functions. We then construct an ordinal notation based on it, and provide a conversion algorithm from Buchholz's function below the Bachmann-Howard ordinal.
Cite
@article{arxiv.2310.12832,
title = {Extending the Veblen Function},
author = {Jayde Sylvie Massmann and Adrian Wang Kwon},
journal= {arXiv preprint arXiv:2310.12832},
year = {2023}
}
Comments
25 pages, no figures, preprint, independent research