Job title:
Professor Emeritus
Research area:
Bio:
Year appointed: 1996
Retired: 2023
Other Affiliations: Group in Logic and the Methodology of Science
Selected Publications:
- Kelty Allen, Laurent Bienvenu and Theodore A. Slaman. On zeros of Martin-Löf random Brownian motion. preprint, 2014. [ arXiv ]
- Verónica Becher, Yann Bugeaud and Theodore A. Slaman. On Simply Normal Numbers to Different Bases. preprint, 2013. [ pdf ]
- Verónica Becher and Theodore A. Slaman. On the Normality of Numbers in Different Bases. Journal of the London Mathematics Society, to appear. [ pdf ]
- C. T. Chong, Theodore A. Slaman, and Yue Yang. The Metamathematics of Stable Ramsey's Theorem for Pairs. J. Amer. Math. Soc., 27:863-892, 2014. [ pdf ]
- Verónica Becher, Pablo Heibner and Theodore A. Slaman. A polynomial-time algorithm for computing absolutely normal numbers. Information and Computation, 232:1-9, 2013. [ pdf ]
- Andrew Marks, Theodore A. Slaman, and John R. Steel. Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations. preprint, 2011. [ arXiv ]
- Slaman, Theodore A. (2005). Aspects of the Turing jump. In Logic Colloquium 2000, Proceedings of the Annual Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000 Cori, René and Razborov, Alexander and Todorčević, Stevo and Wood, Carol editors. 365-382 A K Peters, Ltd. Wellesley, Massachusetts. [ pdf ]
- Slaman, Theodore A. (2004). ΣnΣn-Bounding and ΔnΔn-Induction. Proc. Amer. Math. Soc. 132 2449-2456. [ pdf ]
Research interests:
Recursion theory, mathematical logic