Order:
Disambiguations
Helmut Wolter [26]H. Wolter [17]Hans Wolter [13]
  1.  10
    Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.Heinrich Herre & Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):229-246.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  17
    On the theory of exponential fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  6
    Über die kategorisierbarkeit gewisser körper in nicht‐elementaren logiken.Kurt Hauschild & Helmut Wolter - 1969 - Mathematical Logic Quarterly 15 (7‐12):157-162.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  21
    Ordered fields with several exponential functions.B. I. Dahn & H. Wolter - 1984 - Mathematical Logic Quarterly 30 (19‐24):341-348.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  30
    Ordered Fields with Several Exponential Functions.B. I. Dahn & H. Wolter - 1984 - Mathematical Logic Quarterly 30 (19-24):341-348.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  24
    Über die kategorisierbarkeit gewisser körper in nicht-elementaren logiken.Kurt Hauschild & Helmut Wolter - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):157-162.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  15
    Einige Anwendungen des Königschen Graphensatzes in Der Mathematischen Logik.Kurt Hauschild & Helmut Wolter - 1970 - Mathematical Logic Quarterly 16 (4):265-269.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  8
    Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion.Kurt Hauschild & Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (13‐17):263-266.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  19
    Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion.Kurt Hauschild & Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (13-17):263-266.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  10
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor.Heinrich Herre & Helmut Wolter - 1979 - Mathematical Logic Quarterly 25 (19‐24):345-358.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  20
    Entscheidbarkeit Der Theorie Der Linearen Ordnung In LQ1.H. Herre & H. Wolter - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (18):273-282.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  24
    Entscheidbarkeit der Theorie der Linearen Ordnung inLQx für Reguläres ωx.H. Herre & H. Wolter - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):73-78.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  22
    Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor.Heinrich Herre & Helmut Wolter - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):345-358.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  9
    Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1‐6):59-68.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  23
    Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1-6):59-68.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  23
    Untersuchungen Zur Theorie der Linearen Ordnung in Logiken MIT Mächtigkeitsquantoren.H. Herre & H. Wolter - 1981 - Mathematical Logic Quarterly 27 (2-6):73-94.
  17.  10
    Über Mengen von Ausdrücken der Logik Höherer Stufe, für die der Endlichkeitssatz und der Satz von Löwenheim‐Skolem Gelten.Helmut Wolter - 1972 - Mathematical Logic Quarterly 18 (1‐3):13-18.
  18.  21
    Über Mengen von Ausdrücken der Logik Höherer Stufe, für die der Endlichkeitssatz und der Satz von Löwenheim‐Skolem Gelten.Helmut Wolter - 1972 - Mathematical Logic Quarterly 18 (1-3):13-18.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  20
    Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
    Assuming “Schanuel's Condition” for a certain class of exponential fields, Sturm's technique for polynomials in real closed fields can be extended to more complicated exponential terms in the corresponding exponential field. Hence for this class of terms the exact number of zeros can be calculated. These results give deeper insights into the model theory of exponential fields. MSC: 03C65, 03C60, 12L12.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  8
    Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
  21.  15
    Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7‐12):167-184.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Eine Erweiterung der Elementaren Prädikatenlogik, Anwendungen in der Arithmetik und anderen Mathematischen Theorien.Helmut Wolter - 1973 - Mathematical Logic Quarterly 19 (11‐12):181-190.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  28
    Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7-12):167-184.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  7
    Orderings in Exponential Fields of Term Defined Functions.Helmut Wolter - 1989 - Mathematical Logic Quarterly 35 (2):187-192.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  21
    Orderings in Exponential Fields of Term Defined Functions.Helmut Wolter - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (2):187-192.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  19
    On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.
    In the present paper some tools are given to state the exact number of roots for some simple classes of exponential terms . The result were obtained by generalizing Sturm's technique for real closed fields. Moreover for arbitrary non-zero terms t certain estimations concerning the location of roots of t are given. MSC: 03C65, 03C60, 12L12.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  18
    On the “Problem of the Last Root” for Exponential Terms.Helmut Wolter - 1985 - Mathematical Logic Quarterly 31 (9‐12):163-168.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  24
    On the “Problem of the Last Root” for Exponential Terms.Helmut Wolter - 1985 - Mathematical Logic Quarterly 31 (9-12):163-168.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  9
    Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Mathematical Logic Quarterly 32 (13‐16):229-236.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  22
    Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Mathematical Logic Quarterly 32 (13-16):229-236.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark