Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen. H. Vogel (1978) Archiv für mathematische Logik und Grundlagenforschung