Effective operations on partial recursive functions

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19550010407

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property.Akira Kanda - 1995 - Mathematical Logic Quarterly 41 (1):39-48.
Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive Functions. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
Review: G. Kriesel, D. Lacombe, J. Shoenfield, Effective Operations and Partial Recursive Functionals; G. Kreisel, D. Lacombe, J. R. Shoenfield, Partial Recursive Functionals and Effective Operations. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
Stability of representations of effective partial algebras.Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker - 2011 - Mathematical Logic Quarterly 57 (2):217-231.
Comparing Computational Power.Udi Boker & Nachum Dershowitz - 2006 - Logic Journal of the IGPL 14 (5):633-647.
Isomorphisms between HEO and HROE, ECF and ICFE.Marc Bezem - 1985 - Journal of Symbolic Logic 50 (2):359 - 371.
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
Weak Presentations of Computable Fields.Carl G. Jockusch & Alexandra Shlapentokh - 1995 - Journal of Symbolic Logic 60 (1):199 - 208.
Recursiveness of ω‐Operations.Victor L. Selivanov - 1994 - Mathematical Logic Quarterly 40 (2):204-206.
Isomorphisms Between HEO and $mathrm{HRO}^mathrm{E}$, ECF and $mathrm{ICF}^mathrm{E}$.Marc Bezem - 1985 - Journal of Symbolic Logic 50 (2):359-371.
Effective Operations and Partial Recursive Functionals.G. Kriesel, D. Lacombe, J. Shoenfield, G. Kreisel & J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Some restrictions on simple fixed points of the integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.
Generalized weak presentations.Alexandra Shlapentokh - 2002 - Journal of Symbolic Logic 67 (2):787-819.

Analytics

Added to PP
2016-02-04

Downloads
38 (#408,165)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references