Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie

Mathematical Logic Quarterly 5 (7‐13):132-205 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19590050705

Other Versions

reprint Schwabhäser, Wolfram (1959) "Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5(7-13):132-205

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Ü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.
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I.Wolfgang Rautenberg & Kurt Hauschild - 1971 - Mathematical Logic Quarterly 17 (1):47-55.
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
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.
Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe.Karl Schröter - 1957 - Mathematical Logic Quarterly 3 (6-10):81-107.

Analytics

Added to PP
2013-11-24

Downloads
11 (#1,427,285)

6 months
6 (#888,477)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references