Effectively simple sets
HTML articles powered by AMS MathViewer
- by Raymond M. Smullyan PDF
- Proc. Amer. Math. Soc. 15 (1964), 893-895 Request permission
References
- 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
- Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- J. C. E. Dekker, A theorem on hypersimple sets, Proc. Amer. Math. Soc. 5 (1954), 791–796. MR 63995, DOI 10.1090/S0002-9939-1954-0063995-6
Additional Information
- © Copyright 1964 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 15 (1964), 893-895
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1964-0180485-7
- MathSciNet review: 0180485