×

zbMATH — the first resource for mathematics

Diophantine sets over some rings of algebraic integers. (English) Zbl 0399.10049

MSC:
11U05 Decidability (number-theoretic aspects)
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite
Full Text: DOI