no. 11-12
Logique
Quelques remarques sur les corps D-valués

Présenté par : Jean-Yves Girard

Guzy, Nicolas1
1 Université Mons-Hainaut, 20, place du Parc, BE-7000 Mons, Belgique
Comptes Rendus. Mathématique, Tome 343 (2006) no. 11-12, pp. 689-694.

On prouve un théorème sur le 17ème problème d'Hilbert et un théorème d'approximation à la Greenberg dans le cas des corps D-valués discrets dans le sens de T. Scanlon.

We prove a Hilbert's Seventeenth problem theorem and an approximation theorem in the style of Greenberg in the case of discrete D-valued fields in the sense of T. Scanlon.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/j.crma.2006.10.025
Guzy, Nicolas 1

1 Université Mons-Hainaut, 20, place du Parc, BE-7000 Mons, Belgique 
@article{CRMATH_2006__343_11-12_689_0,
     author = {Guzy, Nicolas},
     title = {Quelques remarques sur les corps {\protect\emph{D}-valu\'es}},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {689--694},
     publisher = {Elsevier},
     volume = {343},
     number = {11-12},
     year = {2006},
     doi = {10.1016/j.crma.2006.10.025},
     language = {fr},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2006.10.025/}
}
TY  - JOUR
AU  - Guzy, Nicolas
TI  - Quelques remarques sur les corps D-valués
JO  - Comptes Rendus. Mathématique
PY  - 2006
SP  - 689
EP  - 694
VL  - 343
IS  - 11-12
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2006.10.025/
DO  - 10.1016/j.crma.2006.10.025
LA  - fr
ID  - CRMATH_2006__343_11-12_689_0
ER  - 
%0 Journal Article
%A Guzy, Nicolas
%T Quelques remarques sur les corps D-valués
%J Comptes Rendus. Mathématique
%D 2006
%P 689-694
%V 343
%N 11-12
%I Elsevier
%U http://www.numdam.org/articles/10.1016/j.crma.2006.10.025/
%R 10.1016/j.crma.2006.10.025
%G fr
%F CRMATH_2006__343_11-12_689_0
Guzy, Nicolas. Quelques remarques sur les corps D-valués. Comptes Rendus. Mathématique, Tome 343 (2006) no. 11-12, pp. 689-694. doi : 10.1016/j.crma.2006.10.025. http://www.numdam.org/articles/10.1016/j.crma.2006.10.025/

[1] Bélair, L. Fonctions rationnelles aux différences à valeurs entières dans les vecteurs de Witt, C. R. Acad. Sci. Paris, Ser. I., Volume 339 (2004), pp. 83-86

[2] Bélair, L. Equations aux différences dans les vecteurs de Witt, C. R. Acad. Sci. Paris, Ser. I, Volume 340 (2005), pp. 99-102

[3] Bélair, L. Approximation for Frobenius algebraic equations in Witt vectors http://www.math.uqam.ca (préprint disponible électroniquement à)

[4] Becker, J.; Denef, J.; Lipshitz, L.; van den Dries, L. Ultraproducts and approximation in local rings, Invent. Math., Volume 51 (1979), pp. 189-203

[5] L. Bélair, A. Macintyre, T. Scanlon, Model theory of Witt vectors with Frobenius, préprint

[6] Greenberg, M.J. Rational points in henselian discrete valuation rings, Publ. Math. IHES, Volume 31 (1966), pp. 59-64

[7] Haskell, D.; Yaffe, Y. Gangzstellensatz in theories of valued fields http://www.math.mcmaster.ca (préprint disponible électroniquement à)

[8] Jacob, B. A Nullstellensatz for R((t)), Comm. Algebra, Volume 8 (1980), pp. 1083-1094

[9] Kochen, S. Integral valued rational functions over the p-adic numbers: a p-adic analogue of the theory of real fields, Proc. Symposia Pure Math., vol. XII, American Mathematical Society, 1969, pp. 57-73

[10] Scanlon, T. A model complete theory of D-valued fields, J. Symb. Logic, Volume 65 (2000) no. 4, pp. 1758-1784

[11] Scanlon, T. Quantifier elimination for the relative Frobenius, Saskatoon, SK, 1999 (Fields Inst. Commun.), Volume vol. 33 (1999), pp. 323-352

Cité par Sources :