Helmut Wolter

According to our database, Helmut Wolter authored at least 13 papers between 1975 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

Consequences of Schanuel's Condition for Zeros of Exponential Terms.

Helmut Wolter

Math. Log. Q., 1993

On Roots of Exponential Terms.

Helmut Wolter

Math. Log. Q., 1993

1989

Orderings in Exponential Fields of Term Defined Functions.

Helmut Wolter

Math. Log. Q., 1989

1986

Some Remarks on Exponential Functions in Ordered Fields.

Helmut Wolter

Math. Log. Q., 1986

1985

On the "Problem of the Last Root" for Exponential Terms.

Helmut Wolter

Math. Log. Q., 1985

1984

Ordered Fields with Several exponential Functions.

Bernd I. Dahn, Helmut Wolter

Math. Log. Q., 1984

1983

On the Theory of exponential Fields.

Bernd I. Dahn, Helmut Wolter

Math. Log. Q., 1983

1981

Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren.

Heinrich Herre, Helmut Wolter

Math. Log. Q., 1981

1980

Untersuchungen zu Schwachen Logiken der Zweiten Stufe.

Eberhard Herrmann, Helmut Wolter

Math. Log. Q., 1980

1979

Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor.

Heinrich Herre, Helmut Wolter

Math. Log. Q., 1979

1978

Entscheidbarkeit der Theorie der Linearen Ordnung in L.

Heinrich Herre, Helmut Wolter

Math. Log. Q., 1978

1975

Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.

Helmut Wolter

Math. Log. Q., 1975

Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.

Heinrich Herre, Helmut Wolter

Math. Log. Q., 1975