Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlösbarkeit

Archive for Mathematical Logic 8 (1-2):45-62 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01987834

Links

PhilArchive



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

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

Titgemeyer Dieter. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 , pp. 45–62. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):155-156.
Dieter Titgemeyer. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 (1965), pp. 45–62. [REVIEW]Dieter Titgemeyer - 1970 - Journal of Symbolic Logic 35 (1):155-156.
Die Struktur des Halbverbandes der Effektiven Numerierungen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):183-188.
Über die Verallgemeinerung der Theorie der Rekursiven Funktionen fūr Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche.Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):620-621.
Über ein Problem, betreffend die Definition des Begriffes der allgemein‐rekursiven Funktion.László Kalmár - 1955 - Mathematical Logic Quarterly 1 (2):93-96.
Über Die Eliminierbarkeit Von Definitionsschemata In Der Theorie Der Rekursiven Funktionen.Dieter Rödding - 1964 - Mathematical Logic Quarterly 10 (18):315-330.
Uber Ein Problem, Betreffend die Definition des Begriffes der Allgemein-Rekursiven Funktion.Paul Axt - 1958 - Journal of Symbolic Logic 23 (2):227-227.
Untersuchungen Über Die Modelle Der Typentheorie.Peter Schreiber - 1965 - Mathematical Logic Quarterly 11 (4):343-372.
Anzahlquantoren in der Kleene-Hierarchie.Dieter Rödding - 1966 - Archive for Mathematical Logic 9 (3-4):61-65.
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.

Analytics

Added to PP
2020-12-03

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references