Derivations of the Frobenius map
Kowalski, Piotr
J. Symbolic Logic, Tome 70 (2005) no. 1, p. 99-110 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We prove that the theory of fields with a derivation of Frobenius has the model companion which is stable and admits elimination of quantifiers up to the level of the λ-functions. Along the way, we give new geometric axioms of DCFp.
Publié le : 2005-03-14
Classification:  
@article{1107298512,
     author = {Kowalski, Piotr},
     title = {Derivations of the Frobenius map},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 99-110},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1107298512}
}

Kowalski, Piotr. Derivations of the Frobenius map. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  99-110. http://gdmltest.u-ga.fr/item/1107298512/