[Some remarks on D-valued fields]
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.
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.
Accepted:
Published online:
Nicolas Guzy 1
@article{CRMATH_2006__343_11-12_689_0, author = {Nicolas Guzy}, 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}, }
Nicolas Guzy. Quelques remarques sur les corps D-valués. Comptes Rendus. Mathématique, Volume 343 (2006) no. 11-12, pp. 689-694. doi : 10.1016/j.crma.2006.10.025. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2006.10.025/
[1] 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] Equations aux différences dans les vecteurs de Witt, C. R. Acad. Sci. Paris, Ser. I, Volume 340 (2005), pp. 99-102
[3] Approximation for Frobenius algebraic equations in Witt vectors http://www.math.uqam.ca (préprint disponible électroniquement à)
[4] 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] Rational points in henselian discrete valuation rings, Publ. Math. IHES, Volume 31 (1966), pp. 59-64
[7] Gangzstellensatz in theories of valued fields http://www.math.mcmaster.ca (préprint disponible électroniquement à)
[8] A Nullstellensatz for , Comm. Algebra, Volume 8 (1980), pp. 1083-1094
[9] 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] A model complete theory of D-valued fields, J. Symb. Logic, Volume 65 (2000) no. 4, pp. 1758-1784
[11] Quantifier elimination for the relative Frobenius, Saskatoon, SK, 1999 (Fields Inst. Commun.), Volume vol. 33 (1999), pp. 323-352
Cited by Sources:
Comments - Policy