26 found
Order:
  1.  12
    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  
  2.  22
    Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (7-12):167-184.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  20
    Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (1-6):59-68.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  19
    Ü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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (1-3):13-18.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  19
    On the “Problem of the Last Root” for Exponential Terms.Helmut Wolter - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (9-12):163-168.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  18
    Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion.Kurt Hauschild & Helmut Wolter - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13-17):263-266.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  17
    Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (13-16):229-236.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  16
    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  
  9.  15
    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  
  10.  10
    Untersuchungen zum Spektralproblem Gewisser Logiken 2. Stufe.Helmut Wolter - 1973 - Mathematical Logic Quarterly 19 (26-29):407-410.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  3
    Ü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  
  12.  12
    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  
  13.  11
    Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7‐12):167-184.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  11
    On the “Problem of the Last Root” for Exponential Terms.Helmut Wolter - 1985 - Mathematical Logic Quarterly 31 (9‐12):163-168.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  8
    Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1‐6):59-68.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  21
    Ü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  
  17.  19
    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  
  18.  17
    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  
  19.  5
    Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Mathematical Logic Quarterly 32 (13‐16):229-236.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  4
    Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
  21.  2
    Ü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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  5
    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   1 citation  
  23.  5
    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  
  24.  4
    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  
  25.  4
    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  
  26.  2
    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  
     
    Export citation  
     
    Bookmark   1 citation