Helmut Wolter

From MaRDI portal



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!

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


Research outcomes over time


This page was built for person: Helmut Wolter