May 1
Sakae Fuchino,
Kobe University
Multiverse in set-theoretic geology
We show that under a strong version of Laver generic large cardinal axiom, there is a model of multiverse theory of Steel with the initial universe being an elementary submodel of the bedrock, and such that the model of multiverse contains (practically) all forcable situations over the (real) universe.