Works by Wolfram Schwabhauser

( view other items matching `Wolfram Schwabhauser`, view all matches )
6 found
Order:
  1.  22
    (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.  15
    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.  65
    E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 , pp. 93–103. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  38
    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 Schwabhauser - 1972 - Journal of Symbolic Logic 37 (1):201-201.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  38
    Scott Dana. Dimension in elementary Euclidean geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957–January 4,1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 53–67. [REVIEW]Wolfram Schwabhäuser - 1969 - Journal of Symbolic Logic 34 (3):514-514.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark