Bibliography
Lachlan, A.H.: On the lattice of recursively enumerable sets. Trans. Amer. Math. Soc.130, 1–37 (1968).
Rabin, M.O.: A simple method for undecidability proofs, Proceedings of the 1964 International Congress for Logic, Methodology, and Philosophy of Science, Jerusalem, 1964. North-Holland Publ. Co., Amsterdam, pp. 58–68.
Rogers, H., Jr.: Theory of recursive functions and effective computability. McGraw-Hill, New York, 1967.
Author information
Authors and Affiliations
Additional information
This manuscript was prepared while the author was supported by NSF grant GJ-33168.
Rights and permissions
About this article
Cite this article
Alton, D.A. A characterization ofR-maximal sets. Arch math Logik 17, 35–36 (1975). https://doi.org/10.1007/BF02280810
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280810