Creative and weakly creative sequences of r.e. sets
HTML articles powered by AMS MathViewer
- by V. D. Vuckovic PDF
- Proc. Amer. Math. Soc. 18 (1967), 478-483 Request permission
References
- J. P. Cleave, Creative functions, Z. Math. Logik Grundlagen Math. 7 (1961), 205–212. MR 140409, DOI 10.1002/malq.19610071108
- A. H. Lachlan, Standard classes of recursively enumerable sets, Z. Math. Logik Grundlagen Math. 10 (1964), 23–42. MR 161790, DOI 10.1002/malq.19640100203
- A. H. Lachlan, Effective inseparability for sequences of sets, Proc. Amer. Math. Soc. 16 (1965), 647–653. MR 182559, DOI 10.1090/S0002-9939-1965-0182559-4
- 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 1967 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 18 (1967), 478-483
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1967-0213235-9
- MathSciNet review: 0213235