@misc{indiciae2d6996dfa03a,
  title = {Existential completions and Herbrand's theorem},
  author = {Joshua L. Wrigley},
  year = {2025},
  url = {https://arxiv.org/abs/2508.15518},
  note = {Source identifier: 2508.15518}
}