Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 671

Preprint Number 671

Previous Next Preprint server

671. Silvain Rideau
Some properties of analytic difference fields

Submission date: 8 January 2014.


In these notes, we prove field quantifier elimination for valued fields with both analytic structure and an isometry that are σ-Henselian and have enough constants. From this result we can deduce various Ax-Kochen-Ersov type results both for completeness and for the NIP property. The main example we are interested in are the Witt vectors on the algebraic closure of F_p with their natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of their first order theory and that this theory is NIP.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1401.1765: pdf, ps.

Last updated: January 11 2014 21:37 Please send your corrections to: