Types sur ((x))
Groupe d'étude de théories stables, Tome 2 (1978-1979), Exposé no. 5, 29 p.
@article{STS_1978-1979__2__A5_0,
     author = {Delon, Fran\c{c}oise},
     title = {Types sur $\mathbb {C} ((x))$},
     journal = {Groupe d'\'etude de th\'eories stables},
     note = {talk:5},
     pages = {1--29},
     publisher = {Secr\'etariat math\'ematique},
     volume = {2},
     year = {1978-1979},
     language = {fr},
     url = {http://www.numdam.org/item/STS_1978-1979__2__A5_0/}
}
TY  - JOUR
AU  - Delon, Françoise
TI  - Types sur $\mathbb {C} ((x))$
JO  - Groupe d'étude de théories stables
N1  - talk:5
PY  - 1978-1979
SP  - 1
EP  - 29
VL  - 2
PB  - Secrétariat mathématique
UR  - http://www.numdam.org/item/STS_1978-1979__2__A5_0/
LA  - fr
ID  - STS_1978-1979__2__A5_0
ER  - 
%0 Journal Article
%A Delon, Françoise
%T Types sur $\mathbb {C} ((x))$
%J Groupe d'étude de théories stables
%Z talk:5
%D 1978-1979
%P 1-29
%V 2
%I Secrétariat mathématique
%U http://www.numdam.org/item/STS_1978-1979__2__A5_0/
%G fr
%F STS_1978-1979__2__A5_0
Delon, Françoise. Types sur $\mathbb {C} ((x))$. Groupe d'étude de théories stables, Tome 2 (1978-1979), Exposé no. 5, 29 p. http://www.numdam.org/item/STS_1978-1979__2__A5_0/

[A] Ax (J.). - On the undecidability of power series fields, Proc. Amer. math. Soc., t. 16, 1965, p. 846. | MR | Zbl

[AK] Ax (J.) and Kochen (S.). - Diophantine problems over local fields, I and II, Amer. J. of Math., t. 87, 1965, p. 605-630, 631-648 ; III, Annals of Math., t. 83, 1966, p. 437-456. | MR | Zbl

[CK] Chang (C.) and Kiesler (J.). - Model Theory. 2nd edition. - Amsterdam, North-Holland, 1977 (Studies in Logic, 73). | MR

[D] Duret (J.L.). - Les corps faiblement algébriquement clos ont la propriété d'indépendance, Thèse 3e cycle, Paris, 1979.

[E] Ersov (Ju.L.). - On the elementary theory of maximal normed fields, Doklady Akad. Nauk SSSR, t. 165, 1965, p. 21-23. | MR | Zbl

[K] Kochen (S.). - The model theory of local fields, "Logic Conference", Kiel, 1974, p. 384-425. - Berlin, Springer-Verlag, 1975 (Lecture Notes in Mathematics, 499). | MR | Zbl

[M MK VdD] Macintyre (A.), Mckenna (K.) and Van Den Dries (L.). - Elimination of quantifiers in algebraic structures, Adverse in Mathematics (à paraître). | Zbl

[R] Ribemboim (P.). - Théorie des valuations. - Montréal, Les Presses de l'Université de Montréal, 1964 (Séminaire de Mathématiques supérieures, Eté 1964, 9).