Professor

Research Primary Research Area:
Mathematical Logic

Research Interests:
Recursion theory, mathematical logic

Contact Information 719 Evans Hall

Office Hours:
Tuesday 1:00-2:00 and Thursday 12:30-2:00

slaman [at] math [dot] berkeley [dot] edu

http://math.berkeley.edu/~slaman/

Year Appointed:
1996


Publications 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 TheodoreA. Slaman. On Simply Normal Numbers to Different Bases. preprint, 2013. [pdf]
Verónica Becher and TheodoreA. Slaman. On the Normality of Numbers in Different Bases. Journal of the London Mathematics Society, to appear. [pdf]
C.T. Chong, TheodoreA. 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 TheodoreA. Slaman. A polynomial-time algorithm for computing absolutely normal numbers. Information and Computation, 232:1-9, 2013. [pdf]
Andrew Marks, TheodoreA. Slaman, and JohnR. 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). $\Sigma_n$-Bounding and $\Delta_n$-Induction. Proc. Amer. Math. Soc. 132 2449-2456. [pdf]