Undecidable existential problems for addition and divisibility in algebraic number rings
Leonard Lipshitz · Transactions of the American Mathematical Society · 1978
Existential formulas involving addition and divisibility are shown to be undecidable in the ring of integers of a real quadratic extension of the rationals. A weaker result is proved for extensions of higher degree.