Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

An effective operator, continuous but not partial recursive


Author: Paul R. Young
Journal: Proc. Amer. Math. Soc. 19 (1968), 103-108
MSC: Primary 02.65
DOI: https://doi.org/10.1090/S0002-9939-1968-0229519-5
MathSciNet review: 0229519
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [F] R. S. Friedberg, Un contre-example relatif aux fonctionelles recursives, C. R. Acad. Sci. Paris 247 (1958), 852-854. MR 0099919 (20:6355)
  • [KLS] G. Kreisel, D. Lacombe and J. R. Shoenfield, ``Partial recursive functionals and effective operations'' in Constructivity in mathematics, North-Holland, Amsterdam, 1959, pp. 290-297. MR 0108443 (21:7159)
  • [L] A. N. Lachlan, Effective operations in a general setting, J. Symbolic Logic 29 (1964), 163-178. MR 0207552 (34:7367)
  • [MS] J. Myhill and J. C. Shepherdson, Effective operations on partial recursive functions, Z. Math. Logik Grundlagen Math. 1 (1955), 310-317. MR 0077475 (17:1039b)
  • [P] M. B. Pour-El, A comparison of five computable operators, Z. Math. Logik Grundlagen Math. 6 (1960), 325-340. MR 0125012 (23:A2319)
  • [R] H. G. Rice, Completely recursively enumerable classes and their key arrays, J. Symbolic Logic 74 (1953), 358-366. MR 0053041 (14:713c)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.65

Retrieve articles in all journals with MSC: 02.65


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1968-0229519-5
Article copyright: © Copyright 1968 American Mathematical Society

American Mathematical Society