March 15
Stefan Mesken,
University of Münster
Bedrocks in Extender Models
Let $M$ be an inner model. $M$`s bedrock $B$, provided it exist, is the $\subseteq$-least inner model such that $M = B[g]$ for some set generic filter $g$.
We will discuss the interplay of (internal) iterability, strong cardinals and the existence of bedrocks in the case that $M$ is an extender model.