TY  - RPRT
TI  - The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
AU  - Farmer Schlutzenberg
PY  - 2025
DO  - 10.1017/jsl.2024.27
UR  - https://arxiv.org/abs/1906.00276
ID  - 1906.00276
ER  -