Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy
Résumé
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.