@misc{indiciae23e96de486b1,
  title = {Universally defining \$\textbackslash{}mathbb\{Z\}\$ in \$\textbackslash{}mathbb\{Q\}\$ with \$10\$ quantifiers},
  author = {Nicolas Daans},
  year = {2024},
  doi = {10.1112/jlms.12864},
  url = {https://arxiv.org/abs/2301.02107},
  note = {Source identifier: 2301.02107}
}