Ordered Algebraic Structures pp 237-259 | Cite as
Ax-Kochen-Ershov Principles for Valued and Ordered Vector Spaces
Chapter
Abstract
We study extensions of valued vector spaces with variable base field, introducing the notion of disjointness and valuation disjointness in this setting. We apply the results to determine the model theoretic properties of valued vector spaces (with variable base field) relative to that of their skeletons. We study the model theory of the skeletons in special cases. We apply the results to ordered vector spaces with compatible valuation.
Keywords
Vector Space Base Field Elementary Class Quantifier Elimination Order Vector Space
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- [CK]C.C. Chang & H. J. Keisler, Model Theory. Amsterdam (1973).Google Scholar
- [D]L. van den Dries, Quantifier elimination for linear formulas over ordered and valued fields. Bull. Soc. Math. Belg. 23 (1981), 19–32.Google Scholar
- [F]L. Fuchs, Abelian p-groups and mixed groups. Montréal (1980).Google Scholar
- [K1]S. Kuhlmann, On the structure of nonarchimedean exponential fields I. Arch. Math. Logic 34 (1995), 145–182.MathSciNetMATHGoogle Scholar
- [K2]S. Kuhlmann, Valuation bases for extensions of valued vector spaces. To appear in Forum Math (1995).Google Scholar
- [K3]S. Kuhlmann, Infinitary properties of valued and ordered vector spaces. Submitted.Google Scholar
- [KF]F.-V. Kuhlmann, Valuation theory of fields, Abelian groups and modules. To appear in the “Algebra, Logic & Applications” series, eds. Göbel & Macintyre, Gordon & Breach, New York.Google Scholar
Copyright information
© Springer Science+Business Media Dordrecht 1997