H. Vogel

Available identifiers

Publication	Date of Publication	Type
On a relationship between countable functionals and projective trees	1983-01-01	Paper
Eine Variante Des OrdinalzahlbezeichnungssystemsΣ	1982-01-01	Paper
Über ein mit der Bar-Induktion Verwandtes Schema	1979-01-01	Paper
Partial enumerable and finite functionals	1978-01-01	Paper
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen	1978-01-01	Paper
Eine beweistheoretische Anwendung partieller stetiger Funktionale	1978-01-01	Paper
Ausgezeichnete Folgen Für Prädikative Ordinalzahlen und Prädikativ‐Rekursive Funktionen	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4182736	1977-01-01	Paper
Ein starker Normalisationssatz für die bar-rekursiven Funktionale	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4085710	1975-01-01	Paper

This page was built for person: H. Vogel