Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis

Mathematical Logic Quarterly 31 (1‐6):3-29 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19850310102

Other Versions

reprint Friedrich, Wolfgang (1985) "Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31(1-6):3-29

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

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

Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7‐12):167-184.
Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7-12):167-184.
Eine Funktionalinterpretation der prädikativen Analysis.Wolfgang Maaß - 1977 - Archive for Mathematical Logic 18 (1):27-46.
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.
Zu den strukturen der klassischen prädikatenlogik.Ladislav Rieger - 1964 - Mathematical Logic Quarterly 10 (9‐12):121-138.
Über die quantorenbasen der klassischen prädikatenlogik.Peter Schreiber - 1969 - Mathematical Logic Quarterly 15 (4‐5):77-80.
Maehara Shôji. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 , pp. 45–64. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (1):79-80.
Das bucklicht Männlein Religion und Säkularität vor dem Hintergrund der klassischen Diskurse von Theologie und Philosophie: eine Erinnerung.Michael Brömse - 2018 - In Verena Begemann, Christiane Burbach, Dieter Weber & Friedrich Heckmann (eds.), Ethik als Kunst der Lebensführung: festschrift fur Friedrich Heckmann. Stuttgart: Kohlhammer Verlag.
Hüllensysteme und Erweiterung von Quasi‐Ordnungen.Bernhard Banaschewski - 1956 - Mathematical Logic Quarterly 2 (8-9):117-130.

Analytics

Added to PP
2013-12-01

Downloads
12 (#1,370,997)

6 months
3 (#1,471,783)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pointwise hereditary majorization and some applications.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (4):227-241.

Add more citations

References found in this work

Add more references