| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 2213077 (Why is no real title available?) | 2005-10-10 | Paper |
| scientific article; zbMATH DE number 2213078 (Why is no real title available?) | 2005-10-10 | Paper |
| scientific article; zbMATH DE number 1968950 (Why is no real title available?) | 2003-08-21 | Paper |
| Mathematical logic in brief. Foundations, model theory, decidability, set theory | 2002-04-04 | Paper |
| scientific article; zbMATH DE number 1465612 (Why is no real title available?) | 2000-06-26 | Paper |
On roots of exponential terms
Mathematical Logic Quarterly | 1995-01-03 | Paper |
Consequences of Schanuel's condition for zeros of exponential terms
Mathematical Logic Quarterly | 1994-08-31 | Paper |
| scientific article; zbMATH DE number 554993 (Why is no real title available?) | 1994-04-19 | Paper |
| scientific article; zbMATH DE number 57856 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4212182 (Why is no real title available?) | 1990-01-01 | Paper |
Orderings in Exponential Fields of Term Defined Functions
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4077180 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4041889 (Why is no real title available?) | 1986-01-01 | Paper |
Some Remarks on Exponential Functions in Ordered Fields
Mathematical Logic Quarterly | 1986-01-01 | Paper |
On the “Problem of the Last Root” for Exponential Terms
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3906474 (Why is no real title available?) | 1984-01-01 | Paper |
Some results about exponential fields (survey)
Mémoires de la Société mathématique de France | 1984-01-01 | Paper |
Some results about exponential fields (survey)
Mémoires de la Société mathématique de France | 1984-01-01 | Paper |
ORDERED FIELDS WITH SEVERAL EXPONENTIAL FUNCTIONS
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3838002 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839929 (Why is no real title available?) | 1983-01-01 | Paper |
ON THE THEORY OF EXPONENTIAL FIELDS
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3794202 (Why is no real title available?) | 1982-01-01 | Paper |
UNTERSUCHUNGEN ZUR THEORIE DER LINEAREN ORDNUNG IN LOGIKEN MIT MÄCHTIGKEITSQUANTOREN
Mathematical Logic Quarterly | 1981-01-01 | Paper |
Untersuchungen zu Schwachen Logiken der Zweiten Stufe
Mathematical Logic Quarterly | 1980-01-01 | Paper |
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor
Mathematical Logic Quarterly | 1979-01-01 | Paper |
Entscheidbarkeit der Theorie der Linearen Ordnung in <i>L</i> für Reguläres ω<sub><i>x</i></sub>
Mathematical Logic Quarterly | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3657759 (Why is no real title available?) | 1977-01-01 | Paper |
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L
Mathematical Logic Quarterly | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532945 (Why is no real title available?) | 1975-01-01 | Paper |
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
Mathematical Logic Quarterly | 1975-01-01 | Paper |
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren
Mathematical Logic Quarterly | 1975-01-01 | Paper |
Eine Erweiterung der Elementaren Prädikatenlogik, Anwendungen in der Arithmetik und anderen Mathematischen Theorien
Mathematical Logic Quarterly | 1973-01-01 | Paper |
Untersuchungen zum Spektralproblem Gewisser Logiken 2. Stufe
Mathematical Logic Quarterly | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3404233 (Why is no real title available?) | 1972-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
Mathematical Logic Quarterly | 1972-01-01 | Paper |
Einige Anwendungen des Königschen Graphensatzes in Der Mathematischen Logik
Mathematical Logic Quarterly | 1970-01-01 | Paper |
ÜBER DIE KATEGORISIERBARKEIT GEWISSER KÖRPER IN NICHT‐ELEMENTAREN LOGIKEN
Mathematical Logic Quarterly | 1969-01-01 | Paper |
Eine Erweiterung der Klassischen Analysis
Mathematical Logic Quarterly | 1968-01-01 | Paper |
Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion
Mathematical Logic Quarterly | 1968-01-01 | Paper |
