@misc{indiciaee0a1d546a972,
  title = {A universal first order formula defining the ring of integers in a number field},
  author = {Jennifer Park},
  year = {2012},
  url = {https://arxiv.org/abs/1202.6371},
  note = {Source identifier: 1202.6371}
}