TY  - RPRT
TI  - Local Definability of $\mathsf{HOD}$ in $L(\mathbb{R})$
AU  - Obrad Kasum
PY  - 2026
UR  - https://arxiv.org/abs/2308.01072
ID  - 2308.01072
ER  -