An effective operator, continuous but not partial recursive
HTML articles powered by AMS MathViewer
- by Paul R. Young PDF
- Proc. Amer. Math. Soc. 19 (1968), 103-108 Request permission
References
- Richard Friedberg, Un contre-exemple relatif aux fonctionnelles récursives, C. R. Acad. Sci. Paris 247 (1958), 852–854 (French). MR 99919
- G. Kreisel, D. Lacombe, and J. R. Shoenfield, Partial recursive functionals and effective operations, Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam, 1957 (edited by A. Heyting), Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1957, pp. 290–297. MR 0108443
- A. H. Lachlan, Effective operations in a general setting, J. Symbolic Logic 29 (1964), 163–178. MR 207552, DOI 10.2307/2270370
- J. Myhill and J. C. Shepherdson, Effective operations on partial recursive functions, Z. Math. Logik Grundlagen Math. 1 (1955), 310–317. MR 77475, DOI 10.1002/malq.19550010407
- Marian Boykan Pour-El, A comparison of five “computable” operators, Z. Math. Logik Grundlagen Math. 6 (1960), 325–340. MR 125012, DOI 10.1002/malq.19600061510
- H. G. Rice, Classes of recursively enumerable sets and their decision problems, Trans. Amer. Math. Soc. 74 (1953), 358–366. MR 53041, DOI 10.1090/S0002-9947-1953-0053041-6
Additional Information
- © Copyright 1968 American Mathematical Society
- 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