Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation

Mathematical Logic Quarterly 17 (1):301-313 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19710170136

Other Versions

No versions found

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

Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Axiomatische Untersuchungen Zur Elementaren Theorie Der Freien Halbgruppen Mit Substitution Als Undefiniertem Grundbegriff.Manfred Weiss - 1967 - Mathematical Logic Quarterly 13 (16-18):265-280.
Zum Aufbau Einer Mehrsortigen Elementaren Logik.Heinz Kaphengst - 1985 - Mathematical Logic Quarterly 31 (1‐6):39-56.
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Mathematical Logic Quarterly 5 (7‐13):132-205.
Einstellige Funktionen Als Grundbegriffe der Elementaren Zahlentheorie.Klaus Härtig - 1959 - Mathematical Logic Quarterly 5 (14-24):209-215.
Entscheidungsprobleme für Autonome Mehrbandautomaten.Peter H. Starke - 1976 - Mathematical Logic Quarterly 22 (1):131-140.
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.
Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.

Analytics

Added to PP
2013-11-24

Downloads
29 (#782,679)

6 months
3 (#1,484,930)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Herre
Universität Leipzig

Citations of this work

Add more citations

References found in this work

Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.

Add more references