Elimination theory for addition and the Frobenius map in polynomial rings

Pheidas, Thanases; Zahidi, Karim

J. Symbolic Logic, Tome 69 (2004) no. 1, p. 1006-1026 / Harvested from Project Euclid

Résumé

We develop an elimination theory for addition and the Frobenius map over rings of polynomials. As a consequence we show that if F is a countable, recursive and perfect field of positive characteristic p, with decidable theory, then the structure of addition, the Frobenius map x→ x^p and the property ‘x∈ F', over the ring of polynomials F[T], has a decidable theory.

Publié le : 2004-12-14
Classification:

@article{1102022210,
     author = {Pheidas, Thanases and Zahidi, Karim},
     title = {Elimination theory for addition and the Frobenius map in polynomial rings},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 1006-1026},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102022210}
}

Pheidas, Thanases; Zahidi, Karim. Elimination theory for addition and the Frobenius map in polynomial rings. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  1006-1026. http://gdmltest.u-ga.fr/item/1102022210/