Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-19T06:35:23.342Z Has data issue: false hasContentIssue false
  • English
  • Français

Derivations of the Frobenius map

Published online by Cambridge University Press:  12 March 2014

Piotr Kowalski
Piotr Kowalski*
Affiliation:
Department of Mathematics, Wrocław University, PL. Grunwalkdzki 2/4, 50-384 Wroclaw, Poland, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 70 , Issue 1 , March 2005 , pp. 99 - 110
Copyright
Copyright © Association for Symbolic Logic 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Buium, A., Arithmetic analogues of derivations, Journal of Algebra, vol. 198 (1997), pp. 290–299.CrossRefGoogle Scholar
[2]Chatzidakis, Z., Generic automorphisms of separably closed fields, Illinois Journal of Mathematics, vol. 45 (2002), no. 3, pp. 693–733.Google Scholar
[3]Chatzidakis, Z. and Hrushovski, E., Model theory of difference fields, Transactions of the American Mathematical Society, vol. 351 (1999), pp. 2997–3071.CrossRefGoogle Scholar
[4]Delon, F., Idéaux et types sur les corps séparablement clos, Supplément au Bulletin de la SMF, Mémoire 33, Tome 116, 1988.Google Scholar
[5]Delon, F., Separably closed fields, Model theory and algebraic geometry (Bouscaren, E., editor), Lecture Notes in Mathematics, vol. 1696. Springer-Verlag, 1998, pp. 143–176.CrossRefGoogle Scholar
[6]Fried, M. D. and Jarden, M., Field arithmetic, Springer-Verlag, 1986.CrossRefGoogle Scholar
[7]Hodges, W., Model theory, Cambridge University Press, 1993.CrossRefGoogle Scholar
[8]Kolchin, E. R., Differential algebra and algebraic groups, Academic Press, New York, 1973.Google Scholar
[9]Kowalski, P., Some model-theoretical and geometric properties of fields with jet operators, Ph. D. thesis, Wrocław University, 2001.Google Scholar
[10]Lang, S., Algebra, Springer-Verlag, 2002.CrossRefGoogle Scholar
[11]Pierce, D., Geometric characterization of existentially closed fields with operators, preprint, http://www.math.metu.edu.tr/~dpierce/papers/gmc/gmc.dvi.Google Scholar
[12]Pierce, D. and Pillay, A., A note on the axioms for differentially closed fields of characteristic zero, Journal of Algebra, vol. 204 (1998), pp. 108–115.CrossRefGoogle Scholar
[13]Scanlon, T., Model theory of valued D-fields with applications to Diophantine approximations in algebraic groups, Ph.D. thesis, Harvard University, 1997, http://math.berkeley.edu/~scanlon/papers/thesis.ps.Google Scholar
[14]Shelah, S., Differentially closed fields, Israel Journal of Mathematics, vol. 16 (1973), pp. 314–328.CrossRefGoogle Scholar
[15]van den Dries, L., Decidability and bounds for polynomial ideals, Ph. D. thesis, Utrecht University, 1978.Google Scholar
[16]Wood, C., The model theory of differential fields revisited, Israel Journal of Mathematics, vol. 25 (1976), pp. 331–352.CrossRefGoogle Scholar
[17]Wood, C., Notes on the separability of separably closed fields, this Journal, vol. 44 (1979), no. 3, pp. 412–416.Google Scholar
[18]Ziegler, M., Separably closed fields with Hasse derivations, this Journal, vol. 68 (2003), pp. 311–318.Google Scholar