The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}\upharpoonright {\aleph }_1$ in $L[\mathbb{E}]$

Farmer Schlutzenberg

Let $M$ be a short extender mouse. We prove that if $E\in M$ and $M$ satisfies "$E$ is a countably complete short extender whose support is a cardinal $\theta$ and $\mathcal{H}_θ\subset…