Abstract
As suggested by the title, this paper is a survey of recent results and questions on the collection of computably enumerable sets under inclusion. This is not a broad survey but one focused on the author’s and a few others’ current research.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
P. Cholak, Automorphisms of the lattice of recursively enumerable sets. Mem. Am. Math. Soc. 113 (541), viii+151 (1995). ISSN: 0065-9266
P. Cholak, L.A. Harrington, Definable encodings in the computably enumerable sets. Bull. Symb. Log. 6 (2), 185–196 (2000). ISSN: 1079-8986
P. Cholak, L.A. Harrington, Isomorphisms of splits of computably enumerable sets. J. Symb. Log. 68 (3), 1044–1064 (2003). ISSN: 0022-4812
P. Cholak, L.A. Harrington, Extension theorems, orbits, and automorphisms of the computably enumerable sets. Trans. Am. Math. Soc. 360 (4), 1759–1791 (2008). ISSN: 0002-9947, math.LO/0408279
P. Cholak, R. Downey, M. Stob, Automorphisms of the lattice of recursively enumerable sets: promptly simple sets. Trans. Am. Math. Soc. 332 (2), 555–570 (1992). ISSN: 0002-9947
P. Cholak, R. Downey, L.A. Harrington, The complexity of orbits of computably enumerable sets. Bull. Symb. Log. 14 (1), 69–87 (2008). ISSN: 1079-8986
P. Cholak, R. Downey, L.A. Harrington, On the orbits of computably enumerable sets. J. Am. Math. Soc. 21 (4), 1105–1135 (2008). ISSN: 0894-0347
P. Cholak, P.M. Gerdes, K. Lange, On n-tardy sets. Ann. Pure Appl. Log. 163 (9), 1252–1270 (2012). ISSN: 0168-0072, doi:10.1016/j.apal.2012.02.001. http://dx.doi.org/10.1016/j.apal.2012.02.001
P. Cholak, P. Gerdes, K. Lange, The \(\mathcal{D}\)-maximal sets. J. Symbolic Logic 80 (4), 1182–1210 (2015). doi:10.1017/jsl.2015.3
R.G. Downey, M. Stob, Automorphisms of the lattice of recursively enumerable sets: orbits. Adv. Math. 92, 237–265 (1992)
R. Downey, M. Stob, Splitting theorems in recursion theory. Ann. Pure Appl. Log. 65 (1), 106 pp. (1993). ISSN: 0168-0072
R.G. Downey, C.G. Jockusch Jr., P.E. Schupp, Asymptotic density and computably enumerable sets. arXiv.org, June 2013
R. Epstein, Invariance and automorphisms of the computably enumerable sets, Ph.D. thesis, University of Chicago, 2010
R. Epstein, The nonlow computably enumerable degrees are not invariant in \(\mathcal{E}\). Trans. Am. Math. Soc. 365 (3), 1305–1345 (2013). ISSN: 0002-9947, doi:10.1090/S0002-9947-2012-05600-5, http://dx.doi.org/10.1090/S0002-9947-2012-05600-5
R.M. Friedberg, Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication. J. Symb. Log. 23, 309–316 (1958)
L.A. Harrington, R.I. Soare, Post’s program and incomplete recursively enumerable sets. Proc. Natl. Acad. Sci. U.S.A. 88, 10242–10246 (1991)
L.A. Harrington, R.I. Soare, The \(\Delta _{3}^{0}\)-automorphism method and noninvariant classes of degrees. J. Am. Math. Soc. 9 (3), 617–666 (1996). ISSN: 0894-0347
L. Harrington, R.I. Soare, Codable sets and orbits of computably enumerable sets. J. Symb. Log. 63 (1), 1–28 (1998). ISSN: 0022-4812
E. Herrmann, M. Kummer, Diagonals and \(\mathcal{D}\)-maximal sets. J. Symb. Log. 59 (1), 60–72 (1994). ISSN: 0022-4812, doi:10.2307/2275249, http://dx.doi.org/10.2307/2275249
S.C. Kleene, E.L. Post, The upper semi-lattice of degrees of recursive unsolvability. Ann. Math. (2) 59, 379–407 (1954)
A.H. Lachlan, Degrees of recursively enumerable sets which have no maximal supersets. J. Symb. Log. 33, 431–443 (1968)
W. Maass, Characterization of recursively enumerable sets with supersets effectively isomorphic to all recursively enumerable sets. Trans. Am. Math. Soc. 279, 311–336 (1983)
D.A. Martin, Classes of recursively enumerable sets and degrees of unsolvability. Z. Math. Logik Grundlag. Math. 12, 295–310 (1966)
R.I. Soare, Automorphisms of the lattice of recursively enumerable sets I: maximal sets. Ann. Math. (2) 100, 80–120 (1974)
R.I. Soare, Automorphisms of the lattice of recursively enumerable sets II: low sets. Ann. Math. Log. 22, 69–107 (1982)
R.I. Soare, Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic, Omega Series (Springer, Heidelberg, 1987)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Cholak, P.A. (2017). Some Recent Research Directions in the Computably Enumerable Sets. In: Cooper, S., Soskova, M. (eds) The Incomputable. Theory and Applications of Computability. Springer, Cham. https://doi.org/10.1007/978-3-319-43669-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-43669-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-43667-8
Online ISBN: 978-3-319-43669-2
eBook Packages: Computer ScienceComputer Science (R0)