Effectively minimizing effective fixed-points
HTML articles powered by AMS MathViewer
- by T. H. Payne PDF
- Proc. Amer. Math. Soc. 30 (1971), 561-562 Request permission
Abstract:
This note answers an open problem posed by H. Rogers, Jr. on p. 202 of Theory of recursive functions and effective computability by proving the following invariant form of one of his results [op. cit., p. 200, Theorem XIV]: for any fixed-point function n there exists a recursive function g such that if z is an index of an effective operator $\Psi$, then $g(z)$ is also an index of $\Psi$, and $\hat n(g(z))$ is an index of the minimum fixed-point of $\Psi$ with respect to inclusion.References
- Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0224462
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 30 (1971), 561-562
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1971-0285383-X
- MathSciNet review: 0285383