| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3671936 | 1982-01-01 | Paper |
| ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968907 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4186293 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4093432 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4108317 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4116440 | 1975-01-01 | Paper |
| Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper | 1974-01-01 | Paper |
| Entscheidungsprobleme der Theorie zweier Äquivalenzrelationen mit beschränkter Zahl vоn Elementen in den Klassen | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680120 | 1972-01-01 | Paper |
| Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5617626 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5617628 | 1972-01-01 | Paper |
| Über die Universalität Axiomatisierbarer Fragmente der Zahlentheorie | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665190 | 1972-01-01 | Paper |
| Interpretierbarkeit in der Gruppentheorie | 1971-01-01 | Paper |
| Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5617625 | 1971-01-01 | Paper |
| Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183481 | 1970-01-01 | Paper |
| Einige Anwendungen des Königschen Graphensatzes in Der Mathematischen Logik | 1970-01-01 | Paper |
| ÜBER DIE KATEGORISIERBARKEIT GEWISSER KÖRPER IN NICHT‐ELEMENTAREN LOGIKEN | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588614 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572940 | 1968-01-01 | Paper |
| Metatheoretische Eigenschaften Gewisser Klassen von Elementaren Theorien | 1968-01-01 | Paper |
| Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion | 1968-01-01 | Paper |
| Cauchyfolgen Höheren Typus in Angeordneten Körpern | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4055993 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071740 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5550399 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561949 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5540556 | 1966-01-01 | Paper |
| Bemerkungen, das Fundierungsaxiom Betreffend | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5552160 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596791 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5518488 | 1965-01-01 | Paper |
| Über Die Charakterisierbarkeit Der Zahlenreihe in Gewissen Nichtstandardmodellen Der Arithmetik | 1963-01-01 | Paper |
| Modelle Der Mengenlehre, Die Aus Endlichen Mengen Bestehen | 1963-01-01 | Paper |
| Ein Beitrag Zur Metatheorie Der Mengenlehre | 1963-01-01 | Paper |
| Eine Bemerkung Zum Mengenbildungsaxiom | 1961-01-01 | Paper |
