Diophantine Equivalence and Countable Rings
Shlapentokh, Alexandra
J. Symbolic Logic, Tome 59 (1994) no. 1, p. 1068-1095 / Harvested from Project Euclid
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 holomophy rings of $\mathbb{Q}$.
Publié le : 1994-09-14
Classification: 
@article{1183744569,
     author = {Shlapentokh, Alexandra},
     title = {Diophantine Equivalence and Countable Rings},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 1068-1095},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744569}
}
Shlapentokh, Alexandra. Diophantine Equivalence and Countable Rings. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  1068-1095. http://gdmltest.u-ga.fr/item/1183744569/