•  87
    On colimits and elementary embeddings
    Journal of Symbolic Logic 78 (2): 562-578. 2013.
    We give a sharper version of a theorem of Rosický, Trnková and Adámek [13], and a new proof of a theorem of Rosický [12], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as $\alpha$-strongly compact and $C^{(n)}$-extendible cardinals.
  •  115
    Indestructibility of Vopěnka’s Principle
    Archive for Mathematical Logic 50 (5-6): 515-529. 2011.
    Vopěnka’s Principle is a natural large cardinal axiom that has recently found applications in category theory and algebraic topology. We show that Vopěnka’s Principle and Vopěnka cardinals are relatively consistent with a broad range of other principles known to be independent of standard (ZFC) set theory, such as the Generalised Continuum Hypothesis, and the existence of a definable well-order on the universe of all sets. We achieve this by showing that they are indestructible under a broad cla…Read more
  •  105
    Large cardinals and gap-1 morasses
    Annals of Pure and Applied Logic 159 (1-2): 71-99. 2009.
    We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular uncountable cardinal, while preserving all n-superstrong, hyperstrong and 1-extendible cardinals. In the latter case, a preliminary forcing to make the GCH hold is required. Our forcing yields morasses that satisfy an extra property related to the homogeneity of t…Read more
  •  215
    Large cardinals and definable well-orders on the universe
    Journal of Symbolic Logic 74 (2): 641-654. 2009.
    We use a reverse Easton forcing iteration to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle ◊ $_{k^ - }^* $ at a proper class of cardinals k. By choosing the cardinals at which coding occurs sufficiently sparsely, we are able to lift the embeddings witnessing the large cardinal properties without having to meet any non-trivial master conditions.
  •  1731
    Moral Responsibility and Subverting Causes
    Dissertation, University of Reading. 2010.
    I argue against two of the most influential contemporary theories of moral responsibility: those of Harry Frankfurt and John Martin Fischer. Both propose conditions which are supposed to be sufficient for direct moral responsibility for actions. (By the term direct moral responsibility, I mean moral responsibility which is not traced from an earlier action.) Frankfurt proposes a condition of 'identification'; Fischer, writing with Mark Ravizza, proposes conditions for 'guidance control'. I argue…Read more