PhD in Mathematics,University of California,1993
B.A. in Mathematics,Harvard, 1967
My research areas in Mathematical Logic and Set Theory are in Descriptive Set Theory, particularly Large Cardinals and Determinacy, and Recursion Theory, particular Infinite Time Turing Machines.
Large Cardinals and Large Dilators, The Journal of Symbolic Logic, v. 83, #4, December 1988. pp. 1496-1510
Infinite Time Turing Machine, (with Joel Hamkins) The Journal of Symbolic Logic, v. 65, #2, June, 2000. pp. 567-604
Post’s Problem Has Both a Positive and Negative Answer for Super Tasks, (with Joel Hamkins) Arch. Math. Logic, v. 41, #6, 2002. pp. 507-523