TY  - RPRT
TI  - The definability of $\mathbb{E}$ in self-iterable mice
AU  - Farmer Schlutzenberg
PY  - 2019
UR  - https://arxiv.org/abs/1412.0085
ID  - 1412.0085
ER  -