26 found
Order:
  1.  11
    On the Theory of Exponential Fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.
  2.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  3.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9.  4
    Orderings in Exponential Fields of Term Defined Functions.Helmut Wolter - 1989 - Mathematical Logic Quarterly 35 (2):187-192.
  10.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  8
    Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1‐6):59-68.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  11
    Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7‐12):167-184.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  11
    On the “Problem of the Last Root” for Exponential Terms.Helmut Wolter - 1985 - Mathematical Logic Quarterly 31 (9‐12):163-168.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  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 (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  5
    Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Mathematical Logic Quarterly 32 (13‐16):229-236.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  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 (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  9
    Untersuchungen zum Spektralproblem Gewisser Logiken 2. Stufe.Helmut Wolter - 1973 - Mathematical Logic Quarterly 19 (26-29):407-410.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark