On donne un algorithme d'élimination des quantificateurs dans les vecteurs de Witt sur un corps algébriquement clos (ou encore dans les séries formelles), vus comme module valué sur l'anneau de Ore des polynômes de Frobenius. On obtient alors que ces structures n'ont pas la propriété d'indépendance.
We prove quantifier elimination in Witt vectors over an algebraically closed fields (or in power series), considered as a valued module over the Ore ring of Frobenius polynomials. We get that these structures do not have the independence property.
Accepté le :
Publié le :
@article{CRMATH_2008__346_13-14_703_0,
author = {Luc B\'elair and Fran\c{c}oise Point},
title = {\'Elimination des quantificateurs dans les \'equations aux diff\'erences lin\'eaires sur les vecteurs de {Witt}},
journal = {Comptes Rendus. Math\'ematique},
pages = {703--706},
publisher = {Elsevier},
volume = {346},
number = {13-14},
year = {2008},
doi = {10.1016/j.crma.2008.05.011},
language = {fr},
}
TY - JOUR AU - Luc Bélair AU - Françoise Point TI - Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt JO - Comptes Rendus. Mathématique PY - 2008 SP - 703 EP - 706 VL - 346 IS - 13-14 PB - Elsevier DO - 10.1016/j.crma.2008.05.011 LA - fr ID - CRMATH_2008__346_13-14_703_0 ER -
%0 Journal Article %A Luc Bélair %A Françoise Point %T Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt %J Comptes Rendus. Mathématique %D 2008 %P 703-706 %V 346 %N 13-14 %I Elsevier %R 10.1016/j.crma.2008.05.011 %G fr %F CRMATH_2008__346_13-14_703_0
Luc Bélair; Françoise Point. Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt. Comptes Rendus. Mathématique, Volume 346 (2008) no. 13-14, pp. 703-706. doi : 10.1016/j.crma.2008.05.011. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2008.05.011/
[1] Model theory of the Frobenius on the Witt vectors, Amer. J. Math., Volume 129 (2007), pp. 665-721
[2] Skew Fields, Cambridge Univ. Press, 1995
[3] Lemmes de Hensel et factorisation formelle pour les opérateurs aux différences, Funkcialaj Ekvacioj, Volume 26 (1983), pp. 349-368
[4] Model Theory and Modules, Cambridge Univ. Press, 1988
[5] T. Rohwer, Valued difference fields as modules over twisted polynomial rings, thèse de PhD, University of Illinois at Urbana-Champaign, 2003
[6] Quantifier elimination for the relative Frobenius (F.-V. Kuhlmann et al., eds.), Valuation Theory and Its Applications, vol. II, Amer. Math. Soc., 2003, pp. 323-352
[7] Corps locaux, Hermann, 1968
[8] Quantifier elimination for linear formulas over ordered and valued fields, Bull. Soc. Math. Belgique, Série B, Volume 33 (1981), pp. 19-31
[9] Quantifier elimination and decision procedures for valued fields, Aachen, 1983 (Lecture Notes in Math.), Volume vol. 1103, Springer (1984), pp. 419-472
Cité par Sources :
Commentaires - Politique
La logique des parties fractionnaires de nombres réels
Luc Bélair; Françoise Point
C. R. Math (2016)