?. M. Soit-x, G. De-t-g-p, /. , and =. , G) alg /v = M/v, ainsi x ne peut pas être dans une extension résiduelle de K(G) alg . Il y a alors seulement deux cas possibles, x est dans une extension immédiate de K(G) alg , ou x est dans une extension purement valuationnelle de K(G) alg , c'est-à-dire K(G) alg (x), ) alg /v et ? K(G) alg (x) =

?. Alg, 1 er cas : x est dans une extension immédiate de K(G) alg . D'après le lemme 3.6.4, il existe une suite (y i ) i?N ? (K(G) alg ) N qui pseudo-converge vers x et qui n'a pas de pseudo-limite dans K(G) alg . Par ? 1 -saturation il existe x ? M tel que x soit une pseudo-limite de la suite f (y i ) i?N . On peut alors prolonger f en un isomorphe de corps valué noté g de domaine K(G) alg (x) et tel que g(x) = x, La restriction de g à K(G)(x) est un élément de F qui prolonge f . 2 eme cas : x est dans une extension purement valuationnelle de K(G) alg

J. Bibliographie, S. Ax, and . Kochen, Diophantine Problems Over Local Fields i, American Journal of Mathematics, vol.87, p.605630, 1965.

. Cal-fields-ii, A complete set of axioms for p-adic number theory

A. , J. Ax, and S. Kochen, Diophantine Problems Over Local Fields iii. Decidable elds, American Journal of Mathematics Annals of Mathematics, vol.87, issue.83, 1965.
DOI : 10.2307/2373065

L. Van-den and . Dries, Notes on Valued Fields. disponible sur http ://www.math.uiuc.edu/People/vddries.html. [dD99] Lou Van den Dries. On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue eld, Manuscripta Mathematica, vol.98, p.133137, 1999.

L. Van-den-dries and A. Günaydin, The elds of real and complex numbers with a small multiplicative group, p.4381, 2006.

L. Van-den-dries and A. Günaydin, Denable sets in Mann pairs, Communications in Algebra, vol.39, p.27522763, 2011.

F. Delon, Extensions séparées et immédiates de corps valués, The Journal of Symbolic Logic, vol.53, p.421428, 1988.

F. Delon, Élimination des quanticateurs dans les paires séparées purement résiduelles de corps valués algébriquement clos

Y. Ershov, On elementary theory of local eld, Algebra i Logika, vol.4, issue.2, 1965.

F. Gouvêa, p-adic Numbers, An Introduction, 2013.

M. Hazewinkel, Handbook of Algebra, chapter Witt Vectors, 2009.

[. Hrushovski, B. Martin, S. Rideau, and R. Cluckers, Denable equivalence relations and zeta functions of groups

J. Keisler, Complete theories of algebraically closed elds with distinguished subelds, The Michigan Mathematical Journal, vol.11, p.7181, 1964.

G. Leloup, Th??ories compl??tes de paires de corps valu??s henseliens, The Journal of Symbolic Logic, vol.499, issue.01, p.323339, 1990.
DOI : 10.1307/mmj/1028999037

H. Mann, On linear relations between roots of unity, Mar02] David Marker. Model Theory : An Introduction, p.107117, 1965.
DOI : 10.1112/S0025579300005210

P. Ribenboim, Théorie des valuations. Les Presses de l, 1964.

S. Rideau, Élimination des imaginaires dans les extensions nies de Q p . Master's thesis

A. Robinson, Complete Theories. Studies in logic and the foundations of mathematics, 1977.

J. Serre, Corps Locaux. Hermann, 3 edition, 1997.

O. Teichmüller, Über die Struktur diskret bewerteter perfekter Körper, p.152161, 1936.

J. Tate and J. F. Voloch, Linear Forms in p-adic Roots of Unity, Journal International Mathematics Research Notices, issue.12, p.589601, 1996.

E. Witt, Zyklische Körper und Algebren der Charakteristik p vom Grad p n . Struktur diskret bewerteter perfekter Körper mit vollkommenem Restklassenkörper der Charakteristik p, Journal für die reine und angewandte Mathematik, p.126140, 1937.
DOI : 10.1007/978-3-642-41970-6_23

B. Zilber, A note on the model theory of the complex eld with roots of unity, 1990.