Skip to main content Accessibility help
×
Home

Diophantine equivalence and countable rings

  • Alexandra Shlapentokh (a1)

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 ℚ.

Copyright

References

Hide All
[1]Davis, M., Hilbert's tenth problem is unsolvable, American Mathematical Monthly, vol. 80 (1973), pp. 233–269.
[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.
[3]Denef, J., Hilbert's tenth problem for quadratic rings, Proceedings of the American Mathematical Society, vol. 48 (1975), pp. 214–220.
[4]Denef, J., Diophantine sets of algebraic integers, II, Transactions of the American Mathematical Society, vol. 257 (1980), pp. 227–236.
[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.
[6]Fried, M. and Jarden, M., Field arithmetic, Springer Verlag, Berlin, 1986.
[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.
[8]Mazur, B., The topology of rational points, Experimental Mathematics, vol. 1 (1992), pp. 35–45.
[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.
[10]Rabin, M., Computable algebra, general theory and theory of countable fields, Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.
[11]Rogers, H., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.
[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.
[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.
[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.
[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.
[16]Shlapentokh, A., Diophantine classes of the holomorphy rings of the global fields(to appear).

Related content

Powered by UNSILO

Diophantine equivalence and countable rings

  • Alexandra Shlapentokh (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.