Theodore Slaman

Theodore Allen Slaman
Theodore Allen Slaman
Born	April 17, 1954 (age 66)
Citizenship	American
Alma mater	Harvard University
	Scientific career
Fields	Mathematics
Institutions	University of California, Berkeley
Doctoral advisor	Gerald E. Sacks

Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory.

Slaman and W. Hugh Woodin formulated the Bi-interpretability Conjecture for the Turing degrees, which conjectures that the partial order of the Turing degrees is logically equivalent to second order arithmetic. They showed that the Bi-interpretability Conjecture is equivalent to there being no nontrivial automorphism of the Turing degrees. They also exhibited limits on the possible automorphisms of the Turing degrees by showing that any automorphism will be arithmetically definable.

References

Slaman, Theodore A. (1991). "Degree structures". Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990). pp. 303–316. MR 1159219.

External links

home page.
Theodore Slaman at the Mathematics Genealogy Project

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.