My main research interest lies in mathematical and philosophical logic, particularly set theory, with a focus on the mathematics and philosophy of the infinite. I have worked particularly with forcing and large cardinals, those strong axioms of infinity, and have been particularly interested in the interaction of these two central set-theoretic concepts. I have worked in the theory of infinitary computability, introducing (with A. Lewis and J. Kidder) the theory of infinite time Turing machines, as well as in the theory of infinitary utilitarianism and, more recently, infinite chess. Recently, I am preoccupied with various mathematical and p…

Read more