Some model theory for Henselian valued fields
نویسندگان
چکیده
منابع مشابه
An Isomorphism Theorem for Henselian Algebraic Extensions of Valued Fields
In general, the value groups and the residue elds do not suuce to classify the algebraic henselian extensions of a valued eld K, up to isomorphism over K. We deene a stronger, yet natural structure which carries information about additive and multiplica-tive congruences in the valued eld, extending the information carried by value groups and residue elds. We discuss the cases where these \mixed...
متن کاملModel Theory of Valued Fields
We give a proposal for future development of the model theory of valued fields. We also summarize recent results on p-adic numbers. Let K be a valued field with a valuation map v : K → G ∪ {∞} to an ordered group 1 G; this is a map satisfying (i) v(x) = ∞ if and only if x = 0; (ii) v(xy) = v(x) + v(y) for all x, y ∈ K; (iii) v(x + y) ≥ min{v(x), v(y)} for all x, y ∈ K. We write R for the valuat...
متن کاملModel Theory of Valued fields
These notes focus mainly on the model theory of algebraically closed valued fields (loosely referred to as ACVF). This subject begins with work by A. Robinson in the 1950s (see the proof of model completeness of algebraically closed valued fields in [41]). Thus, it predates the major work of Ax-Kochen and Ershov around 1963; and, unlike the latter (and much subsequent work on quantifier elimina...
متن کاملRelative decidability and definability in henselian valued fields
Let (K, v) be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map. The main step in obtaining this partition is an answer to the question, given a polynomial f(x) ∈ K[x], what is v(f(x))? Two applications are given: fir...
متن کاملKummer subfields of tame division algebras over Henselian valued fields
By generalizing the method used by Tignol and Amitsur in [TA85], we determine necessary and sufficient conditions for an arbitrary tame central division algebra D over a Henselian valued field E to have Kummer subfields [Corollary 2.11 and Corollary 2.12]. We prove also that if D is a tame semiramified division algebra of prime power degree p over E such that p 6= char(Ē) and rk(ΓD/ΓF ) ≥ 3 [re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1978
ISSN: 0021-8693
DOI: 10.1016/0021-8693(78)90217-x