Diophantine Sets Over Algebraic Integer Rings. II

J. Denef
1980 Transactions of the American Mathematical Society  
We prove that Z is diophantine over the ring of algebraic integers in any totally real number field or quadratic extension of a totally real number field.
doi:10.2307/1998133 fatcat:jwew7hp4yfe43jiahfr2bspaem