H. Vogel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On a relationship between countable functionals and projective trees Fundamenta Mathematicae	1983-01-01	Paper
Eine Variante Des OrdinalzahlbezeichnungssystemsΣ Archiv für mathematische Logik und Grundlagenforschung	1982-01-01	Paper
Über ein mit der Bar-Induktion Verwandtes Schema Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1979-01-01	Paper
Partial enumerable and finite functionals Algebra and Logic	1978-01-01	Paper
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen Archiv für Mathematische Logik und Grundlagenforschung	1978-01-01	Paper
Eine beweistheoretische Anwendung partieller stetiger Funktionale Archiv für Mathematische Logik und Grundlagenforschung	1978-01-01	Paper
Ausgezeichnete Folgen Für Prädikative Ordinalzahlen und Prädikativ‐Rekursive Funktionen Mathematical Logic Quarterly	1977-01-01	Paper
scientific article; zbMATH DE number 3618130 (Why is no real title available?)	1977-01-01	Paper
Ein starker Normalisationssatz für die bar-rekursiven Funktionale Archiv für Mathematische Logik und Grundlagenforschung	1976-01-01	Paper
scientific article; zbMATH DE number 3504952 (Why is no real title available?)	1975-01-01	Paper

Research outcomes over time

This page was built for person: H. Vogel