How does the first order language of fields encode birational invariants of varieties?... This question is related to rational points on varieties and effectiveness in algebraic/arithmetic geometry.
Homotopy Obstructions to Rational Points
The minimum and maximum number of rational points on jacobian surfaces over finite fields
Analytic subvarieties with many rational points
![QR code for arXiv:math/0109144 [math.AG]](http://oss.arxitics.com/images/favicon.svg)