Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1975)

Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren. - Helmut Wolter (Math. Log. Q., 1975)

Entscheidbarkeit der Theorie der Linearen Ordnung in L. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1978)

Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1979)

Untersuchungen zu Schwachen Logiken der Zweiten Stufe. - Eberhard Herrmann; Helmut Wolter (Math. Log. Q., 1980)

Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren. - Heinrich Herre; Helmut Wolter (Math. Log. Q., 1981)

On the Theory of exponential Fields. - Bernd I. Dahn; Helmut Wolter (Math. Log. Q., 1983)

Ordered Fields with Several exponential Functions. - Bernd I. Dahn; Helmut Wolter (Math. Log. Q., 1984)

On the "Problem of the Last Root" for Exponential Terms. - Helmut Wolter (Math. Log. Q., 1985)

Some Remarks on Exponential Functions in Ordered Fields. - Helmut Wolter (Math. Log. Q., 1986)

Orderings in Exponential Fields of Term Defined Functions. - Helmut Wolter (Math. Log. Q., 1989)

On Roots of Exponential Terms. - Helmut Wolter (Math. Log. Q., 1993)

Consequences of Schanuel's Condition for Zeros of Exponential Terms. - Helmut Wolter (Math. Log. Q., 1993)