25 found
Order:
  1.  12
    On the Theory of Exponential Fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.
  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  
    Translate
     
     
    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  
    Translate
     
     
    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  
    Translate
     
     
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8.  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  
  9.  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 (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  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 (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  11
    Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7‐12):167-184.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  11
    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  
  14.  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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15.  8
    Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1‐6):59-68.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  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  
  18.  5
    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  
  19.  4
    Entscheidbarkeit der Arithmetik MIT Addition Und Ordnung in Logiken MIT Verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  22.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  24.  4
    Orderings in Exponential Fields of Term Defined Functions.Helmut Wolter - 1989 - Mathematical Logic Quarterly 35 (2):187-192.
  25.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation