Sur La Theorie Elementaire Des Corps De Fonctions

Duret, Jean-Louis

J. Symbolic Logic, Tome 51 (1986) no. 1, p. 948-956 / Harvested from Project Euclid

Résumé

We study the first order theory of function fields in the language of fields by using fundamental results on curves in algebraic geometry. We give some applications; for example, using a theorem of G. Cherlin, we prove the undecidability of function fields with nonzero characteristic over an algebraically closed field.

Publié le : 1986-12-14
Classification:

@article{1183742233,
     author = {Duret, Jean-Louis},
     title = {Sur La Theorie Elementaire Des Corps De Fonctions},
     journal = {J. Symbolic Logic},
     volume = {51},
     number = {1},
     year = {1986},
     pages = { 948-956},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/1183742233}
}

Duret, Jean-Louis. Sur La Theorie Elementaire Des Corps De Fonctions. J. Symbolic Logic, Tome 51 (1986) no. 1, pp.  948-956. http://gdmltest.u-ga.fr/item/1183742233/