@misc{indiciaed846f0810fd7,
  title = {Ordinal definability in \$L[\textbackslash{}mathbb\{E\}]\$},
  author = {Farmer Schlutzenberg},
  year = {2025},
  doi = {10.1017/jsl.2025.10099},
  url = {https://arxiv.org/abs/2012.07185},
  note = {Source identifier: 2012.07185}
}