On the derived models of self iterable universes

Grigor Sargsyan, Takehiko Gappo

We show that if the universe is self-iterable and $\kappa$ is an inaccessible limit of Woodin cardinal then $A{D}_R+"\Theta$ is regular" holds in the derived model at $\kappa$. The proof is fine-…