Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Grundlagen der Mathematik I. Hilbert & Bernays - 1935 - Revue de Métaphysique et de Morale 42 (2):12-14.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • (1 other version)A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • On extremal axioms.Rudolf Carnap, Friedrich Bachmann & H. G. Bohnert - 1981 - History and Philosophy of Logic 2 (1-2):67-85.
    In the paper translated here, Carnap and Bachmann shows that the apparently metalinguistic ?extremal' axioms that are added to some axiom systems to the effect that the foregoing axioms are to apply as broadly, or as narrowly, as possible may be formulated directly as proper axioms. They analyze such axioms into four fundamental types, with the help of a concept of ?complete? isomorphism.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Tarski and geometry.L. W. Szczerba - 1986 - Journal of Symbolic Logic 51 (4):907-912.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (2 other versions)Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (2 other versions)Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):137-165.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On the Foundations of Logic and Arithmetic.David Hilbert - 1905 - The Monist 15 (3):338-352.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Über Extremalaxiome.Rudolf Carnap & Friedrich Bachmann - 1936 - Erkenntnis 6 (1):166-188.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Real Numbers, Generalizations of the Reals and Theories of Continua.Philip Ehrlich - 1996 - British Journal for the Philosophy of Science 47 (2):320-324.
    Download  
     
    Export citation  
     
    Bookmark   9 citations