$\mathcal {L}^*(K)$ and other lattices of recursively enumerable sets
HTML articles powered by AMS MathViewer
- by Richard A. Shore PDF
- Proc. Amer. Math. Soc. 80 (1980), 143-146 Request permission
Abstract:
We study the direct product operation on lattices which are principal filters of ${\mathcal {E}^ \ast }$, the lattice of r.e. sets modulo finite sets, to generate new isomorphism types of such filters and to characterize the one generated by the complete r.e. set K.References
- Garrett Birkhoff, Lattice Theory, Revised edition, American Mathematical Society Colloquium Publications, Vol. 25, American Mathematical Society, New York, N. Y., 1948. MR 0029876
- A. H. Lachlan, On the lattice of recursively enumerable sets, Trans. Amer. Math. Soc. 130 (1968), 1–37. MR 227009, DOI 10.1090/S0002-9947-1968-0227009-1
- Donald A. Martin, Classes of recursively enumerable sets and degrees of unsolvability, Z. Math. Logik Grundlagen Math. 12 (1966), 295–310. MR 224469, DOI 10.1002/malq.19660120125
- John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205 —[1956], The lattice of recursively enumerable sets, J. Symbolic Logic 21, 220.
- Emil L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284–316. MR 10514, DOI 10.1090/S0002-9904-1944-08111-1
- Robert I. Soare, Automorphisms of the lattice of recursively enumerable sets, Bull. Amer. Math. Soc. 80 (1974), 53–58. MR 373858, DOI 10.1090/S0002-9904-1974-13350-1
- Robert I. Soare, Recursively enumerable sets and degrees, Bull. Amer. Math. Soc. 84 (1978), no. 6, 1149–1181. MR 508451, DOI 10.1090/S0002-9904-1978-14552-2 —[1981], Automorphisms of the lattice of recursively enumerable sets, Part II: Low sets (to appear).
- Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0224462
Additional Information
- © Copyright 1980 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 80 (1980), 143-146
- MSC: Primary 03D25
- DOI: https://doi.org/10.1090/S0002-9939-1980-0574524-8
- MathSciNet review: 574524