The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
- 1 August 1978
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 242, 391-399
- https://doi.org/10.2307/1997746
Abstract
We prove that the diophantine problem for a ring of polynomials over an integral domain of characteristic zero or for a field of rational functions over a formally real field is unsolvable.Keywords
This publication has 11 references indexed in Scilit:
- THE DECISION PROBLEM FOR FIELDSPublished by Elsevier BV ,2014
- Remarks on the elementary theories of formal and convergent power seriesFundamenta Mathematicae, 1979
- Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings. IIProceedings of the American Mathematical Society, 1977
- Hilbert’s tenth problem: Diophantine equations: positive aspects of a negative solutionProceedings of Symposia in Pure Mathematics, 1976
- The undecidability of fields of rational functions over fields of characteristic 2Algebra and Logic, 1973
- Diophantine Equations with Special Reference To Elliptic CurvesJournal of the London Mathematical Society, 1966
- On the undecidability of elementary theories of certain fieldsAmerican Mathematical Society Translations: Series 2, 1965
- The Undecidability of Algebraic Rings and FieldsProceedings of the American Mathematical Society, 1959
- Undecidable RingsTransactions of the American Mathematical Society, 1951
- Definability and decision problems in arithmeticThe Journal of Symbolic Logic, 1949