Abstract
We give some general criteria for the stable embeddedness of a definable set. We use these criteria to establish the stable embeddedness in algebraically closed valued fields of two definable sets: The set of balls of a given radius r < 1 contained in the valuation ring and the set of balls of a given multiplicative radius r < 1. We also show that in an algebraically closed valued field a 0-definable set is stably embedded if and only if its algebraic closure is stably embedded.
Citation
E. Hrushovski. A. Tatarsky. "Stable embeddedness in algebraically closed valued fields." J. Symbolic Logic 71 (3) 831 - 862, September 2006. https://doi.org/10.2178/jsl/1154698580
Information