@misc{indiciae5a7ddc3d1032,
  title = {The definability of the extender sequence \$\textbackslash{}mathbb\{E\}\$ from \$\textbackslash{}mathbb\{E\}\{\textbackslash{}upharpoonright\}\textbackslash{}aleph\_1\$ in \$L[\textbackslash{}mathbb\{E\}]\$},
  author = {Farmer Schlutzenberg},
  year = {2025},
  doi = {10.1017/jsl.2024.27},
  url = {https://arxiv.org/abs/1906.00276},
  note = {Source identifier: 1906.00276}
}