Schütte Kurt. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 , S. 123–147

Journal of Symbolic Logic 18 (1):76-76 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266346

Links

PhilArchive



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

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

Schütte Kurt. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlen-theorie. Mathematische Annalen, Bd. 122 Heft 5 , S. 369–389. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (3):221-221.
Schütte Kurt. Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Mathematische Annalen, vol. 123 , pp. 166–186. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (4):402-402.
Ackermann Wilhelm. Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen, Bd. 117 , S. 162–194.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-127.
Schütte Kurt. Zur Widerspruchsfreiheit einer typenfreien Logik. Mathematische Annalen, Bd. 125 Heft 4 , S. 394–400.W. Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
Schütte Kurt. Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Mathematische Annalen, Bd. 127 , S. 15–32. [REVIEW]Werner Markwald - 1954 - Journal of Symbolic Logic 19 (3):217-218.
Schütte Kurt. Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. Mathematische Zeitschrift, Bd. 61 , S. 160–179. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (3):277-278.
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 , pp. 192–200. [REVIEW]Ronald Harrop - 1964 - Journal of Symbolic Logic 29 (3):145-146.
Schütte Kurt. Schlussweisen-Kalküle der Prädikatenlogik. Mathematische Annalen, vol. 122 , pp. 47–65.Alfons Borgers - 1951 - Journal of Symbolic Logic 16 (2):155-156.
Ackerman Wilhelm. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 , S. 305–315.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (4):167-167.
Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 , S. 5–22. [REVIEW]Kurt Schütte - 1975 - Journal of Symbolic Logic 40 (3):458.

Analytics

Added to PP
2013-11-22

Downloads
12 (#1,091,966)

6 months
2 (#1,445,852)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.

Add more citations

References found in this work

No references found.

Add more references