Embedding Properties of Total Recursive Functions

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):565-574 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Embedding Properties of Total Recursive Functions.W. Maier, W. Menzel & V. Sperschneider - 1982 - Mathematical Logic Quarterly 28 (33‐38):565-574.
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):71-82.
A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (22):331-346.
Embedding Properties and Anti-Foundation in Set Theory.Roland Hinnion - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):63-70.
Equivalence of some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):411-418.
Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.
Classes of One-Argument Recursive Functions.Nadejda V. Georgieva - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):127-130.
Correction to “Embedding Properties and Anti-Foundation in Set Theory”.Roland Hinnion - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):574-574.
A Macro Program for the Primitive Recursive Functions.Hilbert Levitz, Warren Nichols & Robert F. Smith - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (8):121-124.
Comparing Hierarchies of Primitive Recursive Sequence Functions.E. Fachini & A. Maggiolo-Schettini - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):431-445.

Analytics

Added to PP
2015-12-02

Downloads
3 (#1,729,579)

6 months
26 (#116,274)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references