SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS
2015 ◽
Vol 16
(3)
◽
pp. 447-499
◽
Keyword(s):
We prove field quantifier elimination for valued fields endowed with both an analytic structure that is $\unicode[STIX]{x1D70E}$-Henselian and an automorphism that is $\unicode[STIX]{x1D70E}$-Henselian. From this result we can deduce various Ax–Kochen–Eršov type results with respect to completeness and the independence property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of its first-order theory and that this theory does not have the independence property.
Keyword(s):
Keyword(s):
2021 ◽
Vol 8
(30)
◽
pp. 948-970
Keyword(s):
1992 ◽
Vol 13
(3)
◽
pp. 329-352
◽
Keyword(s):
1992 ◽
Vol 13
(3)
◽
pp. 301-327
◽
Keyword(s):
Keyword(s):
Keyword(s):