Helmut Wolter

Publication Activity (10 Years)

Years Active: 1975-1993
Publications (10 Years): 0

Publications

Helmut Wolter
Consequences of Schanuel's Condition for Zeros of Exponential Terms. Math. Log. Q. 39 (1993)
Helmut Wolter
On Roots of Exponential Terms. Math. Log. Q. 39 (1993)
Helmut Wolter
Orderings in Exponential Fields of Term Defined Functions. Math. Log. Q. 35 (2) (1989)
Helmut Wolter
Some Remarks on Exponential Functions in Ordered Fields. Math. Log. Q. 32 (13-16) (1986)
Helmut Wolter
On the "Problem of the Last Root" for Exponential Terms. Math. Log. Q. 31 (9-12) (1985)
Bernd I. Dahn, Helmut Wolter
Ordered Fields with Several exponential Functions. Math. Log. Q. 30 (19-24) (1984)
Bernd I. Dahn, Helmut Wolter
On the Theory of exponential Fields. Math. Log. Q. 29 (9) (1983)
Heinrich Herre, Helmut Wolter
Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren. Math. Log. Q. 27 (2-6) (1981)
Eberhard Herrmann, Helmut Wolter
Untersuchungen zu Schwachen Logiken der Zweiten Stufe. Math. Log. Q. 26 (1-6) (1980)
Heinrich Herre, Helmut Wolter
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Math. Log. Q. 25 (19-24) (1979)
Heinrich Herre, Helmut Wolter
Entscheidbarkeit der Theorie der Linearen Ordnung in L. Math. Log. Q. 24 (1-6) (1978)
Heinrich Herre, Helmut Wolter
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L. Math. Log. Q. 23 (18) (1977)
Heinrich Herre, Helmut Wolter
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. Math. Log. Q. 21 (1) (1975)
Helmut Wolter
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren. Math. Log. Q. 21 (1) (1975)