×

Independence for types in algebraically closed valued fields. (English) Zbl 1138.03029

Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 46-56 (2008).
This is a short survey of some work of the author and her collaborators applying ideas of stability theory, viz. independence of types, in the context of valued fields. This work has now appeared in book form [D. Haskell, E. Hrushovski and H. D. Macpherson, Stable domination and independence in algebraically closed valued fields. Cambridge: Cambridge University Press. Lecture Notes in Logic 30 (2008; Zbl 1149.03027)]. Over the last twenty five years, ideas of stability theory have constantly penetrated applied model theory and are currently a main driving force in the mainstream of the subject. In particular, these ideas have migrated successfully to non-stable contexts. The best example is perhaps the concept of o-minimality, a landmark on the applied side being Wilkie’s proof of the model-completeness of the reals with exponentiation. The work being surveyed lays some fundamentals for applications in valued fields, valuations being fundamental objects in number theory and algebraic geometry. The survey is carefully written, with well-chosen and informative examples.
For the entire collection see [Zbl 1131.03001].

MSC:

03C60 Model-theoretic algebra
03C45 Classification theory, stability, and related concepts in model theory
12J10 Valued fields
12L12 Model theory of fields

Citations:

Zbl 1149.03027