TY  - RPRT
TI  - Ordinal definability in $L[\mathbb{E}]$
AU  - Farmer Schlutzenberg
PY  - 2025
DO  - 10.1017/jsl.2025.10099
UR  - https://arxiv.org/abs/2012.07185
ID  - 2012.07185
ER  -