On creative sets and indices of partial recursive functions
HTML articles powered by AMS MathViewer
- by Louise Hay PDF
- Trans. Amer. Math. Soc. 120 (1965), 359-367 Request permission
References
-
P. Bernays, Review of Creative sets by J. Myhill [5], J. Symbolic Logic 22 (1957), 73-76.
- J. C. E. Dekker and J. Myhill, Some theorems on classes of recursively enumerable sets, Trans. Amer. Math. Soc. 89 (1958), 25–59. MR 97310, DOI 10.1090/S0002-9947-1958-0097310-7
- A. Ehrenfeucht and S. Feferman, Representability of recursively enumerable sets in formal theories, Arch. Math. Logik Grundlag. 5 (1960), 37–41. MR 125791, DOI 10.1007/BF01977641
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205
- 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
- Emil L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284–316. MR 10514, DOI 10.1090/S0002-9904-1944-08111-1
- Hilary Putnam and Raymond M. Smullyan, Exact separation of recursively enumerable sets within theories, Proc. Amer. Math. Soc. 11 (1960), 574–577. MR 120150, DOI 10.1090/S0002-9939-1960-0120150-1
- J. C. Shepherdson, Representability of recursively enumerable sets in formal theories, Arch. Math. Logik Grundlag. 5 (1960/61), 119–127. MR 126378, DOI 10.1007/BF01974157
- Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300
Additional Information
- © Copyright 1965 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 120 (1965), 359-367
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9947-1965-0195724-1
- MathSciNet review: 0195724