×

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

Citations:

Zbl 0324.02032
Full Text: DOI