Über die Universalität Axiomatisierbarer Fragmente der Zahlentheorie

Mathematical Logic Quarterly 18 (16‐18):255-259 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19720181604

Other Versions

reprint Hauschild, Kurt (1972) "Über die Universalität Axiomatisierbarer Fragmente der Zahlentheorie". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18(16-18):255-259

Links

PhilArchive



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

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

Einstellige Funktionen Als Grundbegriffe der Elementaren Zahlentheorie.Klaus Härtig - 1959 - Mathematical Logic Quarterly 5 (14-24):209-215.
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.Kurt Schütte & Stephen G. Simpson - 1985 - Archive for Mathematical Logic 25 (1):75-89.
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):97-118.
Untersuchungen Über Die Modelle Der Typentheorie.Peter Schreiber - 1965 - Mathematical Logic Quarterly 11 (4):343-372.
Untersuchungen Über Die Modelle Der Typentheorie.Peter Schreiber - 1965 - Mathematical Logic Quarterly 11 (4):343-372.
Über die quantorenbasen der klassischen prädikatenlogik.Peter Schreiber - 1969 - Mathematical Logic Quarterly 15 (4‐5):77-80.
Über Die Charakterisierbarkeit Der Zahlenreihe in Gewissen Nichtstandardmodellen Der Arithmetik.Kurt Hauschild - 1963 - Mathematical Logic Quarterly 9 (8‐9):113-116.
Über die Nichtdefinierbarkeit Einiger Begriffe der Hyperbolischen.Wolfram Schwabhäuser - 1962 - Mathematical Logic Quarterly 8 (1):43-55.

Analytics

Added to PP
2013-11-24

Downloads
18 (#1,122,127)

6 months
2 (#1,693,059)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.

Add more references