TY  - RPRT
TI  - The first-order theory of geometric points of schemes: Chevalley's theorem and quantifier elimination
AU  - L. Alexander Betts
PY  - 2015
UR  - https://arxiv.org/abs/1504.03377
ID  - 1504.03377
ER  -