My research is in set theory, part of the area of mathematics called mathematical logic and foundations. This work lies at the intersection of mathematics and philosophy, addressing fundamental questions such as “what mathematical objects exist?” and “is there a single absolute universe of mathematics?”
Much of my work has revolved around the technique of forcing, a kind of universe-building machinery developed by Paul Cohen to solve a number of fundamental independence results in set theory (namely, independence of the axiom of choice from the Zermelo-Frankel axioms (ZF), and independence of the continuum hypothesis from the ZFC axioms).
