Eine Variante des Ordinalzahlbezeichnungssystems ... . H. Vogel — 1982 Archiv für mathematische Logik und Grundlagenforschung
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen. H. Vogel — 1978 Archiv für mathematische Logik und Grundlagenforschung
Eine beweistheoretische Anwendung partieller stetiger Funktionale. H. Vogel — 1978 Archiv für mathematische Logik und Grundlagenforschung
On clones of relations H.-J. Vogel — 1991 Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry