Gisbert Hasenjaeger

MaRDI QIDQ2547551zbMATH OpenDBLPWikidataFDO

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
scientific article; zbMATH DE number 4020483 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3878906 (Why is no real title available?)	1984-01-01	Paper
Prädikatenvariablen in der Zahlentheorie Dialectica	1978-01-01	Paper
scientific article; zbMATH DE number 3351496 (Why is no real title available?)	1972-01-01	Paper
scientific article; zbMATH DE number 3280046 (Why is no real title available?)	1967-01-01	Paper
scientific article; zbMATH DE number 3261579 (Why is no real title available?)	1966-01-01	Paper
scientific article; zbMATH DE number 3316938 (Why is no real title available?)	1965-01-01	Paper
scientific article; zbMATH DE number 3198010 (Why is no real title available?)	1962-01-01	Paper
Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models) Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)	1961-01-01	Paper
scientific article; zbMATH DE number 3222088 (Why is no real title available?)	1961-01-01	Paper
scientific article; zbMATH DE number 3365181 (Why is no real title available?)	1959-01-01	Paper
Über Interpretationen der Prädikatenkalküle Höherer Stufe Archiv für Mathematische Logik und Grundlagenforschung	1958-01-01	Paper
Zur Axiomatisierung der <i>k</i>‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls Mathematical Logic Quarterly	1958-01-01	Paper
scientific article; zbMATH DE number 3115895 (Why is no real title available?)	1955-01-01	Paper
scientific article; zbMATH DE number 3111916 (Why is no real title available?)	1955-01-01	Paper
Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe Journal of Symbolic Logic	1953-01-01	Paper
Über <i>ω</i>-Unvollständigkeit in der Peano-Arithmetik Journal of Symbolic Logic	1952-01-01	Paper
Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls Archiv für Mathematische Logik und Grundlagenforschung	1952-01-01	Paper
Ein Beitrag zur Ordnungstheorie Archiv für Mathematische Logik und Grundlagenforschung	1950-01-01	Paper
Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe Journal of Symbolic Logic	1950-01-01	Paper

Research outcomes over time

This page was built for person: Gisbert Hasenjaeger