@misc{indiciaec05793c2b9ec,
  title = {Interpreting the projective hierarchy in expansions of the real line},
  author = {Philipp Hieronymi and Michael Tychonievich},
  year = {2012},
  url = {https://arxiv.org/abs/1203.6299},
  note = {Source identifier: 1203.6299}
}