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

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis.Wolfgang Friedrich - 1985 - Mathematical Logic Quarterly 31 (1‐6):3-29.
Über die quantorenbasen der klassischen prädikatenlogik.Peter Schreiber - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (4-5):77-80.
Zu den strukturen der klassischen prädikatenlogik.Ladislav Rieger - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):121-138.
Eine filtertheoretische Formulierung der Kontinuumhypothese.Günter Bruns & Jürgen Schmidt - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):91-92.
Eine Konstruktion von Modellerweiterungen.Erwin Engeler - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):126-131.
Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):37-48.
Eine Charakterisierung der Rekursiven Funktionen mit Endlichen Niveaumengen.Gerhard Lischke - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (30):465-472.
Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen.Hilbert Levitz & Warren Nichols - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):527-535.
Eine Einfache Universelle Menge Endlicher Automaten.Thomas Ottmann - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):55-61.
Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞.Michael Deutsch - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (35-36):551-574.

Analytics

Added to PP
2015-12-02

Downloads
26 (#630,134)

6 months
3 (#1,045,430)

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