Diophantine sets over algebraic integer rings. II

Abstract

We prove that <bold>Z</bold> is diophantine over the ring of algebraic integers in any totally real number field or quadratic extension of a totally real number field.