Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Symboloic Logic Année : 1984

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.
Fichier non déposé

Dates et versions

hal-00003496 , version 1 (09-12-2004)

Identifiants

  • HAL Id : hal-00003496 , version 1

Citer

Jacqueline Vauzeilles, Jean-Yves Girard. Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy. Journal of Symboloic Logic, 1984, 49, pp.1079-1114. ⟨hal-00003496⟩
45 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More