This paper is the follow up of "A functorial construction of the Veblen hierarchy". It presents a functorial construction of the Bachmann hierarchy by means of the Pi-1-2 logic.
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-00003496,
author = {Vauzeilles, Jacqueline and Girard, Jean-Yves},
title = {Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy},
journal = {HAL},
volume = {1984},
number = {0},
year = {1984},
language = {en},
url = {http://dml.mathdoc.fr/item/hal-00003496}
}
Vauzeilles, Jacqueline; Girard, Jean-Yves. Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy. HAL, Tome 1984 (1984) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003496/