  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.
