The first-order theory of geometric points of schemes: Chevalley's theorem and quantifier elimination

L. Alexander Betts

Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two…