Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

$ \mathcal{L}^*(K)$ and other lattices of recursively enumerable sets


Author: Richard A. Shore
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
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [G] Birkhoff [1948], Lattice theory, rev. ed., Amer. Math. Soc. Colloq. Publ., vol. 25, Amer. Math. Soc., Providence, R. I. MR 0029876 (10:673a)
  • [A] H. Lachlan [1968], On the lattice of recursively enumerable sets, Trans. Amer. Math. Soc. 130, 1-37. MR 0227009 (37:2594)
  • [D] A. Martin [1966], Classes of recursively enumerable sets and degrees of unsolvability, Z. Math. Logik Grundlagen Math. 12, 295-310. MR 0224469 (37:68)
  • [J] Myhill [1955], Creative sets, Z. Math. Logik Grundlagen Math. 1, 97-108. MR 0071379 (17:118g)
  • 1. -[1956], The lattice of recursively enumerable sets, J. Symbolic Logic 21, 220.
  • [E] L. Post [1944], Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50, 284-316. MR 0010514 (6:29f)
  • [R] I. Soare [1974], Automorphisms of the lattice of recursively enumerable sets, Bull. Amer. Math. Soc. 80, 53-58. MR 0373858 (51:10058)
  • 2. -[1978], Recursively enumerable sets and degrees, Bull. Amer. Math. Soc. 84, 1149-1181. MR 508451 (81g:03050)
  • 3. -[1981], Automorphisms of the lattice of recursively enumerable sets, Part II: Low sets (to appear).
  • [H] Rogers, Jr. [1967], Theory of recursive functions and effective computability, McGraw-Hill, New York. MR 0224462 (37:61)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03D25

Retrieve articles in all journals with MSC: 03D25


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1980-0574524-8
Keywords: Complete sets, lattices of r.e. supersets of r.e. sets, products of lattices
Article copyright: © Copyright 1980 American Mathematical Society

American Mathematical Society