- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Über die Vollständigkeit der Elementaren Euklidischen Geometrie
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):137-165 (1956)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
Uber die Vollstandigkeit der elementaren euklidischen Geometrie.Leslaw W. Szczerba & Wolfram Schwabhauser - 1971 - Journal of Symbolic Logic 36 (1):156.
Wolfram Schwabhäuser. Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 132–205. [REVIEW]Lesław W. Szczerba - 1971 - Journal of Symbolic Logic 36 (1):156.
Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):132-205.
Ü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.
Ü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.
Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln.Karl Schröter - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):218-227.
Review: Wolfram Schwabhäuser, Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie. [REVIEW]Lesław W. Szczerba - 1971 - Journal of Symbolic Logic 36 (1):156-156.
Das Problem der Vollständigkeit Für Boolesche Funktionen Über Zwei Dualmengen mit Nichtleerem Durchschnitt II.G. N. Blochina, W. B. Kudrjavcev & G. Burosch - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (4-6):79-96.
Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):249-254.
Analytics
Added to PP
2016-02-04
Downloads
24 (#644,535)
6 months
1 (#1,721,226)
2016-02-04
Downloads
24 (#644,535)
6 months
1 (#1,721,226)
Historical graph of downloads
Citations of this work
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.
David Hilbert. David Hilbert's lectures on the foundations of geometry, 1891–1902. Michael Hallett and Ulrich Majer, eds. David Hilbert's Foundational Lectures; 1. Berlin: Springer-Verlag, 2004. ISBN 3-540-64373-7. Pp. xxviii + 661. [REVIEW]V. Pambuccian - 2013 - Philosophia Mathematica 21 (2):255-277.
References found in this work
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo