- Professor of Logic, Faculty of Philosophy
- Affiliate Faculty, Mathematics Institute
- Sir Peter Strawson Fellow in Philosophy, University College
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
When does every definable nonempty set have a definable element?
MATHEMATICAL LOGIC QUARTERLY issue 4 volume 65 page 407-411 (December 2019) Full text available
I conduct research broadly in mathematical and philosophical logic, particularly set theory, with a focus on the mathematics and philosophy of the infinite. My work spans topics from forcing and large cardinals, second-order set theory, infinitary computability and infinitary game theory, such as the mathematics of infinite chess. Much of my work involves the interaction of mathematical issues with philosophical concerns, such as those arising in the emerging debate on pluralism in the philosophy of set theory, including the mathematical questions to which they lead, such as my work on the modal logic of forcing and set-theoretic geology and, more recently, the various manifestations of potentialism in mathematics.