Über nichtstandardmodelle der arithmetik und der rationalen zahlen

Mathematical Logic Quarterly 15 (13‐15):223-236 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19690151304

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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 Nichtstandardmodelle der Arithmetik Und der Rationalen Zahlen.Klaus Potthoff - 1969 - Mathematical Logic Quarterly 15 (13-15):223-236.
Über Die Charakterisierbarkeit Der Zahlenreihe in Gewissen Nichtstandardmodellen Der Arithmetik.Kurt Hauschild - 1963 - Mathematical Logic Quarterly 9 (8‐9):113-116.
Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme.Harry Apelt - 1966 - Mathematical Logic Quarterly 12 (1):131-168.
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.
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
Ideale in Nichtstandardmodellen der Ganzen Zahlen.Klaus Potthoff - 1970 - Mathematical Logic Quarterly 16 (6):321-326.
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen.Gerhard Jäger - 1980 - Archive for Mathematical Logic 22 (3-4):121-139.
Die unanwendbare Arithmetik des Tractatus.João Vergilio Gallerani Cuter - 1998 - Grazer Philosophische Studien 56 (1):91-108.
Über Rekursionssätze in der Bernays‐Gödel‐und in der Neumann‐Quine‐Mengenlehre.E. Burger - 1971 - Mathematical Logic Quarterly 17 (1):25-33.
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.

Analytics

Added to PP
2013-11-24

Downloads
15 (#244,896)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.

Add more references