Robert I. Soare
Selected Publications
Selected Articles in Elite Journals:
-
Automorphisms of the lattice of recursively enumerable
sets I: maximal sets,
Ann. of Math.
100
(1974), 80-120.
-
(with L. Harrington) Post's Program and incomplete
recursively enumerable sets,
Proc. Natl. Acad. of Sci. USA
88
(1991),
10242-10246.
-
(with T. Slaman)
Algebraic aspects of the computably enumerable degrees,
Proc. Natl. Acad. of Sci. USA
92 (1995)
617-621.
- (with L. Harrington) The Delta^0_3-automorphism method and
noninvariant classes of degrees,
Journal of the Amer. Math. Soc.
9 (1996), 617-666.
-
(with T. Slaman)
Extension of embeddings in the computably enumerable degrees,
Annals of Mathematics , 154
no. 1 (2001), 1--43.
Books:
-
Recursively Enumerable Sets and Degrees: a Study of Computable Functions
and Computably Enumerable Sets, Springer-Verlag, 1987.
-
Computability Theory and Applications
Springer-Verlag, in preparation.
For more publications, see
Online research papers .