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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,466

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

Effective Operations on Partial Recursive Functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
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.
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.
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
34 (#340,790)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Total Sets and Objects in Domain Theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
Kleene's Amazing Second Recursion Theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
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