Effective inseparability for sequences of sets
HTML articles powered by AMS MathViewer
- by A. H. Lachlan PDF
- Proc. Amer. Math. Soc. 16 (1965), 647-653 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. A. Mučnik, Isomorphism of systems of recursively enumerable sets, Amer. Math. Soc. Transl. (2) 23 (1963), 7-13.
- John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205
- 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: Proc. Amer. Math. Soc. 16 (1965), 647-653
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1965-0182559-4
- MathSciNet review: 0182559