$L[\mathbb {E}]$
$\mathbb {E}$ FROM
$\mathbb {E}\upharpoonright \aleph _1$ IN
$L[\mathbb {E}]$
$\omega _1$