@article{Belair:2008aa,
    Abstract = {R{\'e}sum{\'e} On donne un algorithme d'{\'e}limination des quantificateurs dans les vecteurs de Witt sur un corps alg{\'e}briquement clos (ou encore dans les s{\'e}ries formelles), vus comme module valu{\'e} sur l'anneau de Ore des polyn{\^o}mes de Frobenius. On obtient alors que ces structures n'ont pas la propri{\'e}t{\'e} d'ind{\'e}pendance. Pour citer cet article : L. B{\'e}lair, F. Point, C. R. Acad. Sci. Paris, Ser. I 346 (2008). 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. To cite this article: L. B{\'e}lair, F. Point, C. R. Acad. Sci. Paris, Ser. I 346 (2008).},
    Author = {B{\'e}lair, Luc and Point, Fran{\c c}oise},
    File = {Quantifier elimination in linear difference equations over Witt vectors - 1-s2.0-S1631073X08001684-main - a - u.pdf},
    ISBN = {1631-073X},
    Journal = {Comptes Rendus Mathematique},
    Number = {13},
    Pages = {703--706},
    Title = {{\'E}limination des quantificateurs dans les {\'e}quations aux diff{\'e}rences lin{\'e}aires sur les vecteurs de Witt},
    URL = {http://www.sciencedirect.com/science/article/pii/S1631073X08001684},
    Volume = {346},
    Year = {2008},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1631073X08001684},
    bdsk-url-2 = {https://doi.org/10.1016/j.crma.2008.05.011},
    da = {2008/07/01/},
    date-added = {2020-04-13 20:09:48 +0200},
    date-modified = {2020-04-13 20:09:48 +0200},
    ty = {JOUR},
    doi = {10.1016/j.crma.2008.05.011}
}

@article{Belair:2008aa, Abstract = {R{\'e}sum{\'e} On donne un algorithme d'{\'e}limination des quantificateurs dans les vecteurs de Witt sur un corps alg{\'e}briquement clos (ou encore dans les s{\'e}ries formelles), vus comme module valu{\'e} sur l'anneau de Ore des polyn{\^o}mes de Frobenius. On obtient alors que ces structures n'ont pas la propri{\'e}t{\'e} d'ind{\'e}pendance. Pour citer cet article : L. B{\'e}lair, F. Point, C. R. Acad. Sci. Paris, Ser. I 346 (2008). 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. To cite this article: L. B{\'e}lair, F. Point, C. R. Acad. Sci. Paris, Ser. I 346 (2008).}, Author = {B{\'e}lair, Luc and Point, Fran{\c c}oise}, File = {Quantifier elimination in linear difference equations over Witt vectors - 1-s2.0-S1631073X08001684-main - a - u.pdf}, ISBN = {1631-073X}, Journal = {Comptes Rendus Mathematique}, Number = {13}, Pages = {703--706}, Title = {{\'E}limination des quantificateurs dans les {\'e}quations aux diff{\'e}rences lin{\'e}aires sur les vecteurs de Witt}, URL = {http://www.sciencedirect.com/science/article/pii/S1631073X08001684}, Volume = {346}, Year = {2008}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1631073X08001684}, bdsk-url-2 = {https://doi.org/10.1016/j.crma.2008.05.011}, da = {2008/07/01/}, date-added = {2020-04-13 20:09:48 +0200}, date-modified = {2020-04-13 20:09:48 +0200}, ty = {JOUR}, doi = {10.1016/j.crma.2008.05.011} }