Types in valued fields with coefficient maps

被引:26
作者
Bélair, L [1 ]
机构
[1] Univ Quebec, Montreal, PQ H3C 3P8, Canada
关键词
D O I
10.1215/ijm/1255985223
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We transpose Delon's analysis of types in valued fields to unramified henselian valued fields of mixed characteristic, by using coefficient maps of order n. This yields the Ax-Kochen-Ershov transfer principle for the independence property in this class of valued fields.
引用
收藏
页码:410 / 425
页数:16
相关论文
共 21 条
[1]   RELATIVE ELIMINATION OF QUANTIFIERS FOR HENSELIAN VALUED FIELDS [J].
BASARAB, SA .
ANNALS OF PURE AND APPLIED LOGIC, 1991, 53 (01) :51-74
[2]  
Belair L, 1996, CR ACAD SCI I-MATH, V323, P841
[3]  
BOUSQUET M, 1995, MEMOIRE MAITRISE
[4]  
DELON F, 1981, GROUPE ETUDE THEORIE, P78
[5]  
Delon F., 1981, Quelques proprietes des Corps values en theorie des modeles
[6]  
DENEF J, 1986, J REINE ANGEW MATH, V369, P154
[7]   THE THEORY OF ORDERED ABELIAN-GROUPS DOES NOT HAVE THE INDEPENDENCE PROPERTY [J].
GUREVICH, Y ;
SCHMITT, PH .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 284 (01) :171-182
[8]  
Hasse H., 1980, NUMBER THEORY, DOI [10.1007/978-3-642-66671-1, DOI 10.1007/978-3-642-66671-1]
[9]  
Krasner M, 1944, CR HEBD ACAD SCI, V219, P345
[10]   QUANTIFIER ELIMINATION FOR HENSELIAN FIELDS RELATIVE TO ADDITIVE AND MULTIPLICATIVE CONGRUENCES [J].
KUHLMANN, FV .
ISRAEL JOURNAL OF MATHEMATICS, 1994, 85 (1-3) :277-306