On Diophantine sets over polynomial rings
HTML articles powered by AMS MathViewer
- by Karim Zahidi PDF
- Proc. Amer. Math. Soc. 128 (2000), 877-884 Request permission
Abstract:
We prove that the recursively enumerable relations over a polynomial ring $R[t]$, where $R$ is the ring of integers in a totally real number field, are exactly the Diophantine relations over $R[t]$.References
- Jean-Louis Colliot-Thélène, Daniel Coray, and Jean-Jacques Sansuc, Descente et principe de Hasse pour certaines variétés rationnelles, J. Reine Angew. Math. 320 (1980), 150–191 (French). MR 592151
- J. Denef, Hilbert’s tenth problem for quadratic rings, Proc. Amer. Math. Soc. 48 (1975), 214–220. MR 360513, DOI 10.1090/S0002-9939-1975-0360513-3
- J. Denef, Diophantine sets over $\textbf {Z}[T]$, Proc. Amer. Math. Soc. 69 (1978), no. 1, 148–150. MR 462934, DOI 10.1090/S0002-9939-1978-0462934-X
- J. Denef, Diophantine sets over algebraic integer rings. II, Trans. Amer. Math. Soc. 257 (1980), no. 1, 227–236. MR 549163, DOI 10.1090/S0002-9947-1980-0549163-X
- 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
- J. Denef and L. Lipshitz, Diophantine sets over some rings of algebraic integers, J. London Math. Soc. (2) 18 (1978), no. 3, 385–391. MR 518221, DOI 10.1112/jlms/s2-18.3.385
- Martin Davis and Hilary Putnam, Diophantine sets over polynomial rings, Illinois J. Math. 7 (1963), 251–256. MR 147387
- Matijasevich: Enumerable sets are diophantine, Doklady Akademii Nauka SSSR, 191 (1970); 272-282
- Y. Pourchet, Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques, Acta Arith. 19 (1971), 89–104 (French). MR 289442, DOI 10.4064/aa-19-1-89-104
- Thanases Pheidas, Hilbert’s tenth problem for a class of rings of algebraic integers, Proc. Amer. Math. Soc. 104 (1988), no. 2, 611–620. MR 962837, DOI 10.1090/S0002-9939-1988-0962837-4
- Thanases Pheidas, Extensions of Hilbert’s tenth problem, J. Symbolic Logic 59 (1994), no. 2, 372–397. MR 1276621, DOI 10.2307/2275396
- Michael O. Rabin, Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. 95 (1960), 341–360. MR 113807, DOI 10.1090/S0002-9947-1960-0113807-4
- Alexandra Shlapentokh, Extension of Hilbert’s tenth problem to some algebraic number fields, Comm. Pure Appl. Math. 42 (1989), no. 7, 939–962. MR 1008797, DOI 10.1002/cpa.3160420703
- Harold N. Shapiro and Alexandra Shlapentokh, Diophantine relationships between algebraic number fields, Comm. Pure Appl. Math. 42 (1989), no. 8, 1113–1122. MR 1029120, DOI 10.1002/cpa.3160420805
Additional Information
- Karim Zahidi
- Affiliation: Universiteit Gent, Vakgroep Kwantitatieve Technieken, Hoveniersberg 4, B-9000 Gent, Belgium
- Address at time of publication: Department of Applied Mathematics and Computer Science, Krijgslaan 281, sg, B-9000 Gent, Belgium
- Email: Karim.Zahidi@rug.ac.be
- Received by editor(s): September 16, 1997
- Received by editor(s) in revised form: April 22, 1998
- Published electronically: July 6, 1999
- Additional Notes: The author would like to thank Professor J. Van Geel for his help during the preparation of this work.
- Communicated by: Carl G. Jockusch, Jr.
- © Copyright 1999 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 128 (2000), 877-884
- MSC (1991): Primary 03D20; Secondary 11U05, 12L05
- DOI: https://doi.org/10.1090/S0002-9939-99-05179-5
- MathSciNet review: 1641141