Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):93-96 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19550010204

Links

PhilArchive



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

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

Über ein Problem, betreffend die Definition des Begriffes der allgemein‐rekursiven Funktion.László Kalmár - 1955 - Mathematical Logic Quarterly 1 (2):93-96.
Uber Ein Problem, Betreffend die Definition des Begriffes der Allgemein-Rekursiven Funktion.Paul Axt - 1958 - Journal of Symbolic Logic 23 (2):227-227.
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.
Über die eliminierbarkeit Von definitionsschemata in der theorie der rekursiven funktionen.Dieter Rödding - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):315-330.
Malzew-räume, ein allgemeiner begriff der rekursiven abbildung.Heinz Kaphengst - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (4-5):63-76.
Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie.Petr Vopênka & Petr Hájek - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):235-241.
Zur Robinson-Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):317-322.
Über ein mit der Bar-Induktion Verwandtes Schema.Helmut Vogel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (30):465-473.
Eine Charakterisierung der Rekursiven Funktionen mit Endlichen Niveaumengen.Gerhard Lischke - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (30):465-472.
Über die quantorenbasen der klassischen prädikatenlogik.Peter Schreiber - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (4-5):77-80.

Analytics

Added to PP
2016-02-04

Downloads
23 (#705,261)

6 months
2 (#1,259,626)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Péter on Church's Thesis, Constructivity and Computers.Mate Szabo - 2021 - In Liesbeth De Mol, Andreas Weiermann, Florin Manea & David Fernández-Duque (eds.), Connecting with Computability. Proceedings of Computability in Europe. pp. 434-445.

Add more citations

References found in this work

No references found.

Add more references