| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5696117 | 2005-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5696118 | 2005-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422745 | 2003-08-21 | Paper |
| Mathematical logic in brief. Foundations, model theory, decidability, set theory | 2002-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4486227 | 2000-06-26 | Paper |
| On roots of exponential terms | 1995-01-03 | Paper |
| Consequences of Schanuel's condition for zeros of exponential terms | 1994-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4288812 | 1994-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4004810 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3360277 | 1990-01-01 | Paper |
| Orderings in Exponential Fields of Term Defined Functions | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3808077 | 1988-01-01 | Paper |
| Some Remarks on Exponential Functions in Ordered Fields | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3781083 | 1986-01-01 | Paper |
| On the “Problem of the Last Root” for Exponential Terms | 1985-01-01 | Paper |
| Some results about exponential fields (survey) | 1984-01-01 | Paper |
| ORDERED FIELDS WITH SEVERAL EXPONENTIAL FUNCTIONS | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684105 | 1984-01-01 | Paper |
| ON THE THEORY OF EXPONENTIAL FIELDS | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309816 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310594 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4740011 | 1982-01-01 | Paper |
| UNTERSUCHUNGEN ZUR THEORIE DER LINEAREN ORDNUNG IN LOGIKEN MIT MÄCHTIGKEITSQUANTOREN | 1981-01-01 | Paper |
| Untersuchungen zu Schwachen Logiken der Zweiten Stufe | 1980-01-01 | Paper |
| Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor | 1979-01-01 | Paper |
| Entscheidbarkeit der Theorie der Linearen Ordnung in L für Reguläres ωx | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3856733 | 1977-01-01 | Paper |
| Entscheidbarkeit Der Theorie Der Linearen Ordnung In L | 1977-01-01 | Paper |
| Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren | 1975-01-01 | Paper |
| Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109671 | 1975-01-01 | Paper |
| Eine Erweiterung der Elementaren Prädikatenlogik, Anwendungen in der Arithmetik und anderen Mathematischen Theorien | 1973-01-01 | Paper |
| Untersuchungen zum Spektralproblem Gewisser Logiken 2. Stufe | 1973-01-01 | Paper |
| Über Mengen von Ausdrücken der Logik Höherer Stufe, für die der Endlichkeitssatz und der Satz von Löwenheim‐Skolem Gelten | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5670623 | 1972-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 |
| Eine Erweiterung der Klassischen Analysis | 1968-01-01 | Paper |
| Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion | 1968-01-01 | Paper |
