@misc{indiciae3f5274a0bd4d,
  title = {The first-order theory of geometric points of schemes: Chevalley's theorem and quantifier elimination},
  author = {L. Alexander Betts},
  year = {2015},
  url = {https://arxiv.org/abs/1504.03377},
  note = {Source identifier: 1504.03377}
}