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].
For the entire collection see [Zbl 1131.03001].
Reviewer: Luc Bélair (Montréal)
MSC:
03C60 | Model-theoretic algebra |
03C45 | Classification theory, stability, and related concepts in model theory |
12J10 | Valued fields |
12L12 | Model theory of fields |