Diophantine equivalence and countable rings
DOI10.2307/2275929zbMath0810.11072MaRDI QIDQ4314692
Publication date: 11 April 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275929
diophantine equivalence; diophantine generation; diophantine definition; countable rings; diophantine sets; diophantine classes; existential polynomial languages; holomorphy rings of \(\mathbb{Q}\); holomorphy rings of the field of rational numbers \(\mathbb{Q}\); relative enumeration class
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
13L05: Applications of logic to commutative algebra
13F99: Arithmetic rings and other special commutative rings
11D99: Diophantine equations
Related Items
Cites Work