@misc{indiciae2c8ad23999ab,
  title = {Local Definability of \$\textbackslash{}mathsf\{HOD\}\$ in \$L(\textbackslash{}mathbb\{R\})\$},
  author = {Obrad Kasum},
  year = {2026},
  url = {https://arxiv.org/abs/2308.01072},
  note = {Source identifier: 2308.01072}
}