A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II

Journal of Symbolic Logic 29 (1):58-59 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269795

Other Versions

No versions found

Links

PhilArchive



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

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

Taxeuti Gaisi. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 , pp. 263–269. [REVIEW]James R. Guard - 1964 - Journal of Symbolic Logic 29 (1):58-59.
Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.
Gentzen Gerhard. Beweisbarkeit und Unbeweisbarkeil von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, vol. 119 no. 1 , pp. 140–161. [REVIEW]Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):70-72.
Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik.Kurt Schütte - 1964 - Archive for Mathematical Logic 7 (1-2):45-60.
Review: Gaisi Takeuti, Remark on my Paper: On Skolem's Theorem. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis.Paul Lorenzen - 2020 - History and Philosophy of Logic 41 (3):265-280.
Kurt Schütte. Predicative well-orderings. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 280–303. - Kurt Schütte. Eine Grenze fúr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 45–60. [REVIEW]Charles Parsons - 1967 - Journal of Symbolic Logic 32 (2):284-285.
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.

Analytics

Added to PP
2015-02-05

Downloads
13 (#1,318,048)

6 months
4 (#1,246,434)

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

No references found.

Add more references