Publisher
Springer Science and Business Media LLC
Reference8 articles.
1. Ackermann, W.: Solvable cases of the decision problem. North-Holland Publ. Co., Amsterdam, 1954.
2. Alton,D.A.: Iterated quotients of the lattice of recursively enumerable sets. Proc. London Math. Soc., to appear.
3. Lachlan, A.H.: On the lattice of recursively enumerable sets, Trans. Amer. Math. Soc.130, 1–37 (1968).
4. Lachlan, A.H.: The elementary theory of recursively enumerable sets. Duke Math. J.35, 123–146 (1968).
5. 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.