Robert I. Soare: Online Preprints (Publications)
-
L. Harrington and R. I. Soare,
Post's Program and incomplete recursively enumerable sets,
Proc. Natl. Acad. of Sci. USA,
88 (1991), 10242--10246.
dvi or
postscript.
-
T. A. Slaman and R. I. Soare, Algebraic aspects of the computably
enumerable degrees,
Proceedings of the National Academy of Science, USA,
92, 617-621, 1995.
dvi or
postscript.
- R. I. Soare, Computability and Recursion,
Bulletin of Symbolic Logic
2 (1996), 284--321.
dvi or
postscript.
- R. I. Soare,
Definability, Automorphisms, and Dynamic
Properties of Computably Enumerable Sets,
Bulletin of Symbolic Logic ,
2 (1996), 199--213.
dvi or
postscript.
-
L. Harrington and R. I. Soare,
The $\Delta^0_3$-Automorphism Method and
Noninvariant Classes of Degrees,
Jour. Amer. Math. Soc.,
vol. 9, (1996), pp. 617--666.
[Jul. 1996 vol. 9 num. 3]
dvi or
postscript.
-
L. Harrington and R. I. Soare,
Dynamic properties of computably enumerable sets,
In: `Computability, Enumerability,
Unsolvability: Directions in Recursion Theory,'
eds. S.~B.~Cooper, T.~A.~Slaman, S.~S.~Wainer, Proceedings
of the Recursion Theory Conference, University of Leeds, July,
1994, London Math. Soc. Lecture Notes Series, Cambridge
University Press, January 1996.
dvi or
postscript.
-
L. Harrington and R. I. Soare,
Codable sets and orbits of computably enumerable sets,
J. Symbolic Logic,
vol. 63, (1998), 1--28.
dvi or
postscript.
-
A. H. Lachlan and R. I. Soare,
Subuniform bounds for arithmetic sets,
Journal of Symbolic Logic, to appear.
vol. 63, (1998), 59--72.
dvi or
postscript.
-
R. I. Soare,
Extensions, Automorphisms, and Definability
in: P.~Cholak, S.~Lempp, M.~Lerman, and R.~Shore, (eds.)
Computability Theory and its Applications: Current
Trends and Open Problems,
American Mathematical Society.
(Proceedings of the AMS Workshop at Boulder, CO, June, 1999)
[This is a preliminary draft only, not the final refereed copy.]
dvi or
postscript or
pdf.
- T. A. Slaman and R. I. Soare. Extension of Embeddings in the Recursively
Enumerable Degrees. Annals of Math.,, to appear.
A HREF="http://www.cs.uchicago.edu/~soare/Publications/extn/"
Extension paper html abstract and postecript full draft.
- R. I. Soare. Computability Theory and Differential Geometry,
to appear.
postscript or
pdf.