Hostname: page-component-8448b6f56d-cfpbc Total loading time: 0 Render date: 2024-04-23T21:05:58.092Z Has data issue: false hasContentIssue false
  • English
  • Français

Elimination theory for addition and the frobenius map in polynomial rings

Published online by Cambridge University Press:  12 March 2014

Thanases Pheidas  and
Karim Zahidi
Thanases Pheidas
Affiliation:
Department of Mathematics, University of Crete, P.O. Box 2208, Heraklion. Crete, Greece, E-mail: pheidas@maths.uoc.gr
Karim Zahidi
Affiliation:
Equipe de Logique Mathématique, UFR de Mathématiques (Case 7012), Université Denis-Diderot PARIS 7.2 Place Jussieu, 75251 Paris Cedex 05, France, E-mail: zahidi@logique.jussieu.fr
Get access Rights & Permissions [Opens in a new window]

Abstract.

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 → xp and the property ‘x ∈ F1, over the ring of polynomials F[T], has a decidable theory.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 69 , Issue 4 , December 2004 , pp. 1006 - 1026
Copyright
Copyright © Association for Symbolic Logic 2004

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

REFERENCES

[1]Becker, J., Denef, J., and Lipshitz, L., Further remarks on the elementary theory of formal power series rings, Model theory of algebra and arithmetic (Proceedings of conference, Karpacz, 1979), Lecture Notes in Mathematics, vol. 834, Springer, Berlin, 1980, pp. 1–9.Google Scholar
[2]Cherlin, G., Definability in power series rings of nonzero characteristic, Models and sets, Lecture Notes in Mathematics, vol. 1103, Springer, Berlin, 1984, pp. 102–112.Google Scholar
[3]Dellunde, P., Delon, F., and Point, F., The theory of modules of separably closed fields, I, this Journal, vol. 67 (2002), no. 3, pp. 997–1015.Google Scholar
[4]Denef, J., The Diophantine problem for polynomial rings and fields of rational functions, Transactions of the American Mathematical Society, vol. 242 (1978), pp. 391–399.CrossRefGoogle Scholar
[5]Denef, J., The Diophantine problem for polynomial rings of positive characteristic, Logic colloquium ’78 (Mons, 1978), Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 131–145.Google Scholar
[6]Hodges, Wilfrid, A shorter model theory, Cambridge University Press, Cambridge, 1997.Google Scholar
[7]Pheidas, T., The diophantine problem for addition and divisibility in polynomial rings, Ph.D. thesis, Purdue University, 1985.Google Scholar
[8]Pheidas, T. and Zahidi, K., Undecidability of existential theories of rings and fields: a survey, Contemporary Mathematics, vol. 270 (1999), pp. 49–105.Google Scholar
[9]Prest, M., Models and modules, London Mathematical Society Lecture Note Series, vol. 130, Cambridge University Press, Cambridge, 1988.CrossRefGoogle Scholar
[10]Robinson, R., Undecidable rings, Transactions of the American Mathematical Society, vol. 70 (1951), pp. 137–159.CrossRefGoogle Scholar
[11]van den Dries, L. and Kuhlmann, F.-V., Images of additive polynomials in F((t)) have the optimal approximation property, Canadian Mathematical Bulletin, Bulletin Canadien de Mathematiques, vol. 45 (2002), no. 1, pp. 71–79.Google Scholar
[12]Ziegler, M., Model theory of modules, Annals of Pure and Applied Logic, vol. 26 (1984), pp. 149–213.CrossRefGoogle Scholar