Helmut Wolter

15 papers Journal 14

Year	Rank	Type	Title / Venue / Authors
1993	J	`jnl`	Consequences of Schanuel's Condition for Zeros of Exponential Terms. Math. Log. Q. Helmut Wolter
1993	J	`jnl`	On Roots of Exponential Terms. Math. Log. Q. Helmut Wolter
1989	J	`jnl`	Orderings in Exponential Fields of Term Defined Functions. Math. Log. Q. Helmut Wolter
1989	—	`ed.`	Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz, Germany, March 27-31, 1989. Easter Conference on Model Theory Ingo Dahn, Helmut Wolter
1986	J	`jnl`	Some Remarks on Exponential Functions in Ordered Fields. Math. Log. Q. Helmut Wolter
1985	J	`jnl`	On the "Problem of the Last Root" for Exponential Terms. Math. Log. Q. Helmut Wolter
1984	J	`jnl`	Ordered Fields with Several exponential Functions. Math. Log. Q. Bernd I. Dahn, Helmut Wolter
1983	J	`jnl`	On the Theory of exponential Fields. Math. Log. Q. Bernd I. Dahn, Helmut Wolter
1981	J	`jnl`	Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren. Math. Log. Q. Heinrich Herre, Helmut Wolter
1980	J	`jnl`	Untersuchungen zu Schwachen Logiken der Zweiten Stufe. Math. Log. Q. Eberhard Herrmann, Helmut Wolter
1979	J	`jnl`	Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Math. Log. Q. Heinrich Herre, Helmut Wolter
1978	J	`jnl`	Entscheidbarkeit der Theorie der Linearen Ordnung in L. Math. Log. Q. Heinrich Herre, Helmut Wolter
1977	J	`jnl`	Entscheidbarkeit Der Theorie Der Linearen Ordnung In L. Math. Log. Q. Heinrich Herre, Helmut Wolter
1975	J	`jnl`	Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren. Math. Log. Q. Helmut Wolter
1975	J	`jnl`	Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. Math. Log. Q. Heinrich Herre, Helmut Wolter