Job title:
Professor Emeritus
Research area:
Bio:
Year appointed: 1975
Year retired: 2014
Other Affiliations: Group in Logic and the Methodology of Science
Selected Publications:
- Cholak, Peter A. and Downey, Rodney and Harrington, Leo A. (2008). On the orbits of computably enumerable sets. J. Amer. Math. Soc. 21 No.4, 1105-1135. [MR] [GS?]
- Cholak, Peter A. and Downey, Rodney and Harrington, Leo A. (2008). The complexity of orbits of computably enumerable sets. Bull. Symbolic Logic 14 No.1, 69-87. [MR] [GS?]
- Cholak, Peter A. and Harrington, Leo A. (2008). Extension theorems, orbits, and automorphisms of the computably enumerable sets. Trans. Amer. Math. Soc. 360 No.4, 1759-1791. [MR] [GS?]
- Cholak, Peter A. and Harrington, Leo A. (2003). Isomorphisms of splits of computably enumerable sets. J. Symbolic Logic 68 No.3, 1044-1064. [MR] [GS?]
- Cholak, Peter A. and Harrington, Leo A. (2002). On the definability of the double jump in the computably enumerable sets. J. Math. Log. 2 No.2, 261-296. [MR] [GS?]
Research interests:
Recursion theory, Model theory, Set theory
