Abstract
Let ℰ* be the lattice of recursively enumerable sets of natural numbers modulo finite differences. We characterize the relations which can be embedded in ℰ* by using certain collections of maximal sets as domain and using Lachlan's notion of major subsets to code in the relation in certain natural ways. We show that attempts to prove the undecidability of ℰ* by using such embeddings fail.
Similar content being viewed by others
Bibliography
Ackermann, W.: Solvable cases of the decision problem. North-Holland Publ. Co., Amsterdam, 1954.
Alton,D.A.: Iterated quotients of the lattice of recursively enumerable sets. Proc. London Math. Soc., to appear.
Lachlan, A.H.: On the lattice of recursively enumerable sets, Trans. Amer. Math. Soc.130, 1–37 (1968).
Lachlan, A.H.: The elementary theory of recursively enumerable sets. Duke Math. J.35, 123–146 (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.
Robinson, R.W.: Two theorems on hyperhypersimple sets. Trans. Amer. Math. Soc.128, 531–537 (1967).
Rogers, H., Jr.: Theory of recursive functions and effective computability. New York: McGraw-Hill 1967.
Shoenfield, J.R.: Mathematical Logic. Reading, Massachusetts: Addison-Wesley. 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. Embedding relations in the lattice of recursively enumerable sets. Arch math Logik 17, 37–41 (1975). https://doi.org/10.1007/BF02280811
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280811