Items of Interest in Professor Soare's work:
Research Interests
Lectures
(Slides or Summaries From Recent Lectures)
Curriculum Vitae: Biographical sketch, selected papers
and addresses; graduate students and postdocs.
Online Research Papers (Publications)
New Book on
Computability Theory
(Beta Version)
Local information:
Logic Courses,
Logic Seminars.
Links
What's New and Exciting in Computability Theory:
Slaman-Soare, Extensions of Embeddings paper in final form"
appeared in Annals of Mathematics, July, 2001. Abstract in html and
postcript of full paper.
Computability and Differential Geometry
A new paper by Soare, Computability Theory and Differential
Geometry has just been completed and will appear in the
Bulletin of Symbolic Logic about applications of
computability theory to differential geometry, See the paper in .ps
and .pdf form and see comments from the referee's report.
Other Items of Interest in Computability Theory:
The History and Concept of Computability, an expository,
nontechnical paper dealing
with the development of Turing computability and recursive functions.
Computability Theory Home Page , which includes bibliographic database
for computability theory, a mailing list for computability theorists, and
other useful information.