Eine Klassifikation der ε0‐Rekursiven Funktionen

Mathematical Logic Quarterly 17 (1):61-74 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19710170113

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

Eine Klassifikation der ε 0 ‐Rekursiven Funktionen.Helmut Schwichtenberg - 1971 - Mathematical Logic Quarterly 17 (1):61-74.
Eine Charakterisierung der Rekursiven Funktionen mit Endlichen Niveaumengen ().Gerhard Lischke - 1974 - Mathematical Logic Quarterly 20 (30):465-472.
Eine Rekursive Universelle Funktion Für Die Primitiv‐Rekursiven Funktionen.Hilbert Levitz & Warren Nichols - 1987 - Mathematical Logic Quarterly 33 (6):527-535.
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.Michael Deutsch - 1980 - Mathematical Logic Quarterly 26 (1-6):1-32.
Über Die Eliminierbarkeit Von Definitionsschemata In Der Theorie Der Rekursiven Funktionen.Dieter Rödding - 1964 - Mathematical Logic Quarterly 10 (18):315-330.
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen.Michael Deutsch - 1980 - Mathematical Logic Quarterly 26 (1‐6):1-32.
Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv‐rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.
Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32-33):523-528.
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32‐33):523-528.

Analytics

Added to PP
2013-11-24

Downloads
22 (#731,954)

6 months
4 (#862,849)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Herbrand analyses.Wilfried Sieg - 1991 - Archive for Mathematical Logic 30 (5-6):409-441.
The realm of primitive recursion.Harold Simmons - 1988 - Archive for Mathematical Logic 27 (2):177-188.
Proof lengths for instances of the Paris–Harrington principle.Anton Freund - 2017 - Annals of Pure and Applied Logic 168 (7):1361-1382.
Slow reflection.Anton Freund - 2017 - Annals of Pure and Applied Logic 168 (12):2103-2128.

View all 10 citations / Add more citations

References found in this work

Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
On the interpretation of non-finitist proofs–Part II.G. Kreisel - 1952 - Journal of Symbolic Logic 17 (1):43-58.
Rekursionszahlen und die Grzegorczyk-Hierarchie.Helmut Schwichtenberg - 1969 - Archive for Mathematical Logic 12 (1-2):85-97.

Add more references