Undecidability of parametric solutions of polynomial equations
HTML articles powered by AMS MathViewer
- by K. H. Kim and F. W. Roush PDF
- Proc. Amer. Math. Soc. 118 (1993), 345-348 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-New York, 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 , posted on (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
Additional 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