@misc{indiciae287de7a7deb6,
  title = {Characterizing integers among rational numbers with a universal-existential formula},
  author = {Bjorn Poonen},
  year = {2007},
  doi = {10.1353/ajm.0.0057},
  url = {https://arxiv.org/abs/math/0703907},
  note = {Source identifier: math/0703907}
}