Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

Archive for Mathematical Logic 22 (3-4):121-139 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02297652

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

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.
Eine Bemerkung über den Kalkül des natürlichen Schließens.Arnold Oberschelp - 1962 - Archive for Mathematical Logic 6 (1-2):3-6.
Ein Satz über die Unlösbarkeitsgrade der Mengen von Natürlichen Zahlen.Arnold Oberschelp - 1967 - Journal of Symbolic Logic 32 (1):124-124.
Zur Mengenlehre Über Klassen.Ulf Friedrichsdorf - 1979 - Mathematical Logic Quarterly 25 (19‐24):379-383.
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.Matthias Ragaz - 1983 - Archive for Mathematical Logic 23 (1):141-146.
Beweistheorie vonKPN.Gerhard Jäger - 1980 - Archive for Mathematical Logic 20 (1-2):53-63.
Arnold Oberschelp. Ein Satz über die Unlösbarkeitsgrade der Mengen von natürlichen Zahlen. Abhandlungen der Braunschweigische Wissenschaftliche Gesellschaft , vol. 12 , pp. 1–3. [REVIEW]J. C. E. Dekker - 1967 - Journal of Symbolic Logic 32 (1):124.
Über Einen Widerspruch in Cogans Darstellung Der Mengenlehre.Rainer Titgemeyer - 1961 - Mathematical Logic Quarterly 7 (11-14):161-163.
Über Nichtstandardmodelle der Arithmetik Und der Rationalen Zahlen.Klaus Potthoff - 1969 - Mathematical Logic Quarterly 15 (13-15):223-236.

Analytics

Added to PP
2020-12-03

Downloads
17 (#1,138,780)

6 months
7 (#671,981)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.
Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2018 - Journal of Philosophical Logic 47 (5):817-850.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.

View all 21 citations / Add more citations

References found in this work

No references found.

Add more references