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 |
11U05 | Decidability (number-theoretic aspects) |
03B25 | Decidability of theories and sets of sentences |