A note on Diophantine subsets of large fields

Abstract

Large fields (also called ample, anti-mordellic) generalize many fields of classical interest, such as algebraically closed fields, real-closed fields, and $p$-adic fields. In this note we answer a question of Pop by generalizing a result of Fehm and prove that finite unions of affine translates of infinite proper subfields are never diophantine subsets of perfect large fields.

7 pages, comments welcome!