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

Links

PhilArchive



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

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.
Review: Gerhard Jager, Beweistheorie von KPN. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-879.
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.
Über den Aussagenkalkül der Experimentalaussagen.J. L. Destouches - 1956 - Archive for Mathematical Logic 2 (2-4):104.
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.

Analytics

Added to PP
2020-12-03

Downloads
9 (#1,268,194)

6 months
6 (#701,126)

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.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references