Characterizing diophantine henselian valuation rings and valuation ideals

Sylvy Anscombe, Arno Fehm

We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives…