Stable Domination and Independence in Algebraically Closed Valued Fields
Stable Domination and Independence in Algebraically Closed Valued Fields
Ehud Hrushovski, Hebrew University of Jerusalem
Dugald Macpherson, University of Leeds
This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.
- Background sections on stability theory and valued fields
- Comprehensive explication of ideas which had been previously discussed but not published
Reviews & endorsements
Review of the hardback: '… comprehensive and stimulating …' EMS Newsletter
Product details
January 2008Hardback
9780521889810
194 pages
235 × 157 × 16 mm
0.44kg
Available
Table of Contents
- 1. Introduction
- Part I. Stable Domination:
- 2. Some background on stability theory
- 3. Definition and basic properties of Stc
- 4. Invariant types and change of base
- 5. A combinatorial lemma
- 6. Strong codes for germs
- Part II. Independence in ACVF:
- 7. Some background on algebraically closed valued fields
- 8. Sequential independence
- 9. Growth of the stable part
- 10. Types orthogonal to Γ
- 11. Opacity and prime resolutions
- 12. Maximally complete fields and domination
- 13. Invariant types
- 14. A maximum modulus principle
- 15. Canonical bases and independence given by modules
- 16. Other Henselian fields.
