Functors and ordinal notations I : a functorial construction of the Veblen hierarchy
Vauzeilles, Jacqueline ; Girard, Jean-Yves
HAL, hal-00003495 / Harvested from HAL
Text on HAL
This paper is the first of several works: the matter is the systematic rewriting of usual results of ordinal notations, using Pi-1-2-logic. The purpose of these articles is already realized in Pi-1-2-logic, in a relatively abstract form. The paper presents a functorial construction of the Veblen hierarchy.
Publié le : 1984-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00003495,
     author = {Vauzeilles, Jacqueline and Girard, Jean-Yves},
     title = {Functors and ordinal notations I : a functorial construction of the Veblen hierarchy},
     journal = {HAL},
     volume = {1984},
     number = {0},
     year = {1984},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003495}
}

Vauzeilles, Jacqueline; Girard, Jean-Yves. Functors and ordinal notations I : a functorial construction of the Veblen hierarchy. HAL, Tome 1984 (1984) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003495/