Site Web DMA

Bannière DMA Site de l'ENS Site Paris Sciences et Lettres Site du CNRS Accueil

Séminaire Géométrie et théorie des modèles

Horaires : Le vendredi 22 mai 2015, 14h15

Lieu : ENS, salle W

On the existential theory of equicharacteristic henselian valued fields

Arno Fehm (Konstanz)

The first order theory of a henselian valued field of residue characteristic zero is well-understood through the celebrated Ax-Kochen-Ershov principle, which states that it is completely determined by the theory of the residue field and the theory of the value group. For henselian valued fields of positive residue characteristic, no such general principle is known. I will report on joint work with Will Anscombe in which we study (parts of) the theory of equicharacteristic henselian valued fields and prove an Ax-Kochen-Ershov principle for existential (and slightly more general) sentences. I will also discuss applications to the definability of henselian valuation rings and to the existential decidability (Hilbert's tenth problem) of the local field F_q((t)), which was proven by Denef and Schoutens assuming resolution of singularities.


Autres séances du séminaire

45 rue d'Ulm - F 75230 PARIS cedex 05 | phone : (33) 1 44 32 20 49 | fax : (33) 1 44 32 20 69

Plan du site | Mentions légales | | Edition du site | Web site designed under SPIP