@article{1183741614,
author = {Girard, Jean-Yves and Vauzeilles, Jacqueline},
title = {Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy},
journal = {J. Symbolic Logic},
volume = {49},
number = {1},
year = {1984},
pages = { 713-729},
language = {en},
url = {http://dml.mathdoc.fr/item/1183741614}
}
Girard, Jean-Yves; Vauzeilles, Jacqueline. Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. J. Symbolic Logic, Tome 49 (1984) no. 1, pp. 713-729. http://gdmltest.u-ga.fr/item/1183741614/