4/3/2009: Please go to the more up-to-date version of my webpage (not that it's very different...).
I am a teaching assistant in the Department of Mathematics of the University of Bristol. This semester I am teaching the 3rd year logic class.
I obtained my doctorate at the Kurt Gödel Research Center for Mathematical logic at the Universität Wien (University of Vienna), working with Professor Sy Friedman.
My thesis work involved forcing various combinatorial principles reminiscent of Gödel's constructible universe L to hold while preserving large cardinals, thus obtaining L-like outer models containing these large cardinals. In particular, I have been working on forcing morasses to exist at every regular cardinal, and was able to modify the standard forcing used for this in such a way that all large cardinals of a variety of kinds are preserved. I also came up with an iterated forcing for making the universe have a definable well-order while still enjoying the generalised continuum hypothesis. With this forcing one can preserve a proper class of measurable, Woodin, n-superstrong, n-huge, and other similar cardinals.
My doctoral thesis (PS format). For a bit of light relief, I included a couple of figures (also PS format).
Large Cardinals and Definable Well-Orderings of the Universe (PDF format, updated 24/7/7), submitted.
I gave a talk (pdf slides) at the Logic Colloquium 2006 about forcing morasses to exist. There, I gave particular attention to the interesting case of trying to preserve 1-extendible cardinals (and eventually succeeding!).
More recently, I gave a talk (pdf slides) at the Logic Colloquium 2007 about the definable well-order part of my thesis.