Hostname: page-component-7c8c6479df-fqc5m Total loading time: 0 Render date: 2024-03-18T02:51:05.466Z Has data issue: false hasContentIssue false

Stable embeddedness in algebraically closed valued fields

Published online by Cambridge University Press:  12 March 2014

E. Hrushovski
Affiliation:
Department of Mathematics, Hebrew University, Jerusalem, Israel.E-mail:ehud@math.huji.ac.il
A. Tatarsky
Affiliation:
Department of Mathematics, Hebrew University, Jerusalem, Israel.E-mail:avivsky@math.huji.ac.il

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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Chatzidakis, Z. and Hrushovski, E., Model theory of difference fields (Appendix), Transactions of American Mathematical Society, vol. 351 (1999), no. 8, pp. 29973071.CrossRefGoogle Scholar
[2]Endler, O., Valuation theory, Springer-Verlag, 1972.CrossRefGoogle Scholar
[3]Haskell, D., Hrushovski, E., and Macpherson, D., Definable sets in algebraically closed valued fields. Part I, Journal für die reine und angewandte Mathematik, to appear.Google Scholar
[4]Hrushovski, E. and Pillay, A., Groups definable in local fields and pseudo-finite fields, Israel Journal of Mathematics, vol. 85 (1994), pp. 203262.CrossRefGoogle Scholar
[5]Robinson, A., Complete theories, North-Holland, Amsterdam, 1956.Google Scholar