25 found
Order:
  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.  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  
  5.  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  
  6.  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  
  7.  20
    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  
  8.  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  
  9.  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  
  10.  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  
  11.  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  
  12.  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.
  13.  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  
  14.  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  
  15.  8
    Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
  16.  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  
  17.  11
    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  
  18.  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  
  19.  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  
  20.  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  
  21.  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  
  22.  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  
  23.  25
    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  
  24.  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  
  25.  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