NicholasBlackbournPhDThesis - St Andrews Research Repository