Helmut Wolter

Available identifiers

zbMath Open wolter.helmutMaRDI QIDQ2782579

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2782580	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
ORDERED FIELDS WITH SEVERAL EXPONENTIAL FUNCTIONS	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3684105	1984-01-01	Paper
Some results about exponential fields (survey)	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3309816	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3310594	1983-01-01	Paper
ON THE THEORY OF EXPONENTIAL FIELDS	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Helmut Wolter