Undecidability of parametric solutions of polynomial equations
HTML articles powered by AMS MathViewer
- by K. H. Kim and F. W. Roush
- Proc. Amer. Math. Soc. 118 (1993), 345-348
- DOI: https://doi.org/10.1090/S0002-9939-1993-1132414-5
- PDF | Request permission
Abstract:
We prove that, for any field ${\mathbf {F}}$ of characteristic $0$ satisfying a hypothesis related to not being algebraically closed, the problem of finding non-constant parametric solutions in ${\mathbf {F}}(t)$ to a polynomial system with coefficients in ${\mathbf {F}}$ is algorithmically unsolvable.References
- J. Becker, J. Denef, and L. Lipshitz, Further remarks on the elementary theory of formal power series rings, Model theory of algebra and arithmetic (Proc. Conf., Karpacz, 1979), Lecture Notes in Math., vol. 834, Springer, Berlin, 1980, pp. 1–9. MR 606776
- G. L. Cherlin, Definability in power series rings of nonzero characteristic, Models and sets (Aachen, 1983) Lecture Notes in Math., vol. 1103, Springer, Berlin, 1984, pp. 102–112. MR 775690, DOI 10.1007/BFb0099383
- J. Denef, The Diophantine problem for polynomial rings and fields of rational functions, Trans. Amer. Math. Soc. 242 (1978), 391–399. MR 0491583, DOI 10.1090/S0002-9947-1978-0491583-7
- J. Denef, 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. MR 567668
- Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157 K. H. Kim and F. W. Roush, Diophantine undecidability of ${\mathbf {C}}({t_1},{t_2})$, J. Algebra (to appear).
- Thanases Pheidas, An undecidability result for power series rings of positive characteristic. II, Proc. Amer. Math. Soc. 100 (1987), no. 3, 526–530. MR 891158, DOI 10.1090/S0002-9939-1987-0891158-2
Bibliographic Information
- © Copyright 1993 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 118 (1993), 345-348
- MSC: Primary 03D35; Secondary 03D80, 11U05, 12L05
- DOI: https://doi.org/10.1090/S0002-9939-1993-1132414-5
- MathSciNet review: 1132414