Theodore Slaman
(Redirected from Theodore Allen Slaman)
Theodore Allen Slaman | |
---|---|
Born | April 17, 1954 | (age 70)
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
Categories:
- Articles with short description
- Short description is different from Wikidata
- Articles with hCards
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with CANTICN identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with NTA identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with Scopus identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Living people
- American logicians
- 20th-century American mathematicians
- 21st-century American mathematicians
- University of California, Berkeley faculty
- Harvard University alumni
- 1954 births
- All stub articles
- American mathematician stubs