BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
This paper provides an accessible introduction to some of the work of Woodin on suitable extender models. We define the HOD conjecture, prove it is equivalent to a formulation in terms of weak extender models for supercompactness, and give some of its consequences.
Starting from a supercompact cardinal we build a model in which 2ℵω1=2ℵω1+1=ℵω1+3 but there is a jointly universal family of size ℵω1+2 of graphs on ℵω1+1. The same technique will work for any uncountable cardinal in place of ω1.
This thesis consists of two parts: the construction of a jointly universal family of graphs, and then an exploration of set-theoretic geology. Firstly we shall construct a model in which 2ℵω1=2ℵω1+1=ℵω1+3 but there is a jointly universal family of size ℵω1+2 of graphs on ℵω1+1. We take a supercompact cardinal κ and will use Radin forcing with interleaved collapses to change κ into ℵω1. Prior to the Radin forcing we perform a preparatory iteration to add functions from κ+ into Radin names for what will become members of the jointly universal family on κ+. The same technique can be used with any uncountable cardinal in place of ω1. Secondly we explore various topics in set-theoretic geology. We begin by showing that a class Easton support iteration of Add(κ,1) at κ regular results in a universe that is its own generic mantle. We then consider set forcings P, Q, R and S with respective generics G, H, I and J such that V[G][I]=V[H][J] and show that V[G] and V[H] must have a shared ground via (∣R∣+∣S∣)+-cc forcing. This allows a similar analysis of the related situation when P is replaced by a class iteration and V[H] by a generic ground of V[G]. We conclude with a simple characterisation of the mantle of a class forcing extension, and an investigation of the possibilities for a version of the intermediate model theorem that applies to class forcing.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.