First-order definitions in function fields over anti-Mordellic fields

Bjorn Poonen, Florian Pop

A field k is called anti-Mordellic if every smooth curve over k with a k-point has infinitely many k-points. We prove that for a function field over an anti-Mordellic field, the su…