7 found
Order:
  1.  19
    (2 other versions)Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  19
    Über die Nichtdefinierbarkeit Einiger Begriffe der Hyperbolischen Geometrie mit Elementaren Mitteln.Wolfram Schwabhäuser - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (1):43-55.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  10
    Ein Axiomatischer Aufbau der Euklidischen Geometrie.Wanda Szmielew, Alfred Tarski & Wolfram Schwabhauser - 1986 - Journal of Symbolic Logic 51 (4):1073-1075.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  23
    E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 , pp. 93–103. [REVIEW]Wolfram Schwabhäuser - 1970 - Journal of Symbolic Logic 35 (3):467.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  20
    (1 other version)Andrzej Grzegorczyk. Axiomatizability of geometry without points. Synthese, vol. 12 nos. 2–3 , pp. 228–233; also in The concept and role of the model in mathematics and natural and social sciences, Synthese Library, D. Reidel Publishing Company, Dordrecht 1961, pp. 104–111. [REVIEW]Wolfram Schwabhäuser - 1972 - Journal of Symbolic Logic 37 (1):201-201.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  12
    (1 other version)Review: Dana Scott, Dimension in Elementary Euclidean Geometry. [REVIEW]Wolfram Schwabhauser - 1969 - Journal of Symbolic Logic 34 (3):514-514.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  23
    Review: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467-467.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark