Valued fields, metastable groups
We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is metastable (over a sort Γ) if every type over a sufficiently rich...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Springer
2019
|