A class of fields with a restricted model completeness property
arXiv:1911.03202 · doi:10.1017/jsl.2021.28
Abstract
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and in particular obtain a number of new existential (or diophantine) predicates over global fields.
Minor corrections