Hostname: page-component-cb9f654ff-pvkqz Total loading time: 0 Render date: 2025-08-19T13:57:59.400Z Has data issue: false hasContentIssue false
  • English
  • Français

Diophantine equivalence and countable rings

Published online by Cambridge University Press:  12 March 2014

Alexandra Shlapentokh
Alexandra Shlapentokh*
Affiliation:
Department of Mathematics, East Carolina University, Greenville, North Carolina 27858-4353, E-mail: mashlape@ecuvax.cis.ecu.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We show that Diophantine equivalence of two suitably presented countable rings implies that the existential polynomial languages of the two rings have the same “expressive power” and that their Diophantine sets are in some sense the same. We also show that a Diophantine class of countable rings is contained completely within a relative enumeration class and demonstrate that one consequence of this fact is the existence of infinitely many Diophantine classes containing holomorphy rings of ℚ.

Information

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 59 , Issue 3 , September 1994 , pp. 1068 - 1095
Copyright
Copyright © Association for Symbolic Logic 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

REFERENCES

[1]Davis, M., Hilbert's tenth problem is unsolvable, American Mathematical Monthly, vol. 80 (1973), pp. 233–269.CrossRefGoogle Scholar
[2]Davis, M., Matijasevich, Yu., and Robinson, J., Positive aspects of a negative solution, Proceedings of Symposia in Pure Mathematics, vol. 28, American Mathematical Society, Providence, Rhode Island. 1976, pp. 323–378.Google Scholar
[3]Denef, J., Hilbert's tenth problem for quadratic rings, Proceedings of the American Mathematical Society, vol. 48 (1975), pp. 214–220.Google Scholar
[4]Denef, J., Diophantine sets of algebraic integers, II, Transactions of the American Mathematical Society, vol. 257 (1980), pp. 227–236.Google Scholar
[5]Denef, J. and Lipshitz, L., Diophantine sets over some rings of algebraic integers, Journal of the London Mathematical Society, vol. 18 (1978), pp. 385–391.Google Scholar
[6]Fried, M. and Jarden, M., Field arithmetic, Springer Verlag, Berlin, 1986.CrossRefGoogle Scholar
[7]Kim, H. and Roush, F., An approach to rational Diophantine undecidability, Proceedings of the Asian Mathematical Conference, 1990, World Scientific Publishing Company, Singapore. 1992, pp. 242–247.Google Scholar
[8]Mazur, B., The topology of rational points, Experimental Mathematics, vol. 1 (1992), pp. 35–45.CrossRefGoogle Scholar
[9]Pheidas, T., Hilbert's tenth problem for a class of rings of algebraic integers, Proceedings of the American Mathematical Society, vol. 104 (1988), pp. 611–620.Google Scholar
[10]Rabin, M., Computable algebra, general theory and theory of countable fields, Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.Google Scholar
[11]Rogers, H., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.Google Scholar
[12]Shapiro, H. N. and Shlapentokh, A., Diophantine relations between algebraic number fields, Communications on Pure and Applied Mathematics, vol. 42 (1989), pp. 1113–1122.CrossRefGoogle Scholar
[13]Shlapentokh, A., Extension of Hilbert's tenth problem to some algebraic number fields, Communications on Pure and Applied Mathematics, vol. 42 (1989), pp. 939–962.CrossRefGoogle Scholar
[14]Shlapentokh, A., Diophantine definition of integers in the rings of rational numbers, Communications on Pure and Applied Mathematics, vol. 44 (1991), pp. 853–867.CrossRefGoogle Scholar
[15]Shlapentokh, A., Diophantine definition of rational integers in some rings of algebraic numbers, Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 299–321.CrossRefGoogle Scholar
[16]Shlapentokh, A., Diophantine classes of the holomorphy rings of the global fields(to appear).Google Scholar