Undecidable existential theories of polynomial rings and function fields

References

• Becker , J. , Denef , J. and Lipshitz , L. “ Further remarks on the elementary theory of power series rings ” . In Lecture Notes in Mathematics , Vol. 834 , Berlin, New York : Springer Verlag .
   Google Scholar
• Cherlin , G. 1984 . “ Undecidability of rational function fields in nonzero characteristic ” . In Logic Colloquium ’82 , Edited by: Lolli , G. , Longo , G. and Marcja , A. 85 – 95 . Amsterdam : North Holland .
   Google Scholar
• Denef , J. 1978 . The Diophantime Problem for polynomial rings and fields of rational functions . Transactions of the American Mathematical Society , 242 : 391 – 399 .
   Web of Science ®Google Scholar
• Denef , J. 1979 . “ The Diophantine Problem for polynomial rings of positive characteristic ” . In Logic Colloquium ’78 , Edited by: Boffa , M. and van Dalen , D. 131 – 145 . Amsterdam : North Holland .
   Google Scholar
• Kim , K. and Roush , R. 1992 . Diophamtine unsolvability of C(t 1,t 2) . Journal of Algebra , 150 : 35 – 44 .
   Web of Science ®Google Scholar
• Kim , K. and Roush , R. . Undecidability of parametric solutions of polynomial equations . Proceedings of the American Mathematical Society . Vol. 118 - 2 , pp. 345 – 348 .
   Google Scholar
• Lang , S. 1993 . Algebra , Addison-Wesley .
   Google Scholar
• Matijasevich , Y. 1970 . Enumerable sets are Diophantine , Vol. 191 , 272 – 282 . Doklady Akademii Nauka SSSR .
   Google Scholar
• Pheidas , Th . 1994 . Extensions of Hilbert’s Tenth Problem . The Journal of Symbolic Logic , 59-2 June : 372 – 397 .
   Web of Science ®Google Scholar
• Rubel , L. 1995 . An essay on Diophantine equations for analytic functions . Expositions Mathematicae , 14 June : 81 – 92 .
   Google Scholar
• Silverman , J. 1986 . “ The arithmetic of elliptic curves ” . In Graduate Texts in Mathematics , Springer-Verlag .
   Google Scholar
• Tarski , A. A decision method for elementary algebra and geometry , The Rand Corporation . Monograph
   Google Scholar
• Van Den Dries , L. 1988 . Alfred Tarski’s elimination theory for real closed fields . The Journal of Symboloc Logic , 53 : 7 – 19 .
   Web of Science ®Google Scholar