One problem about decidability that continues to attract a lot of attention is extensions of Hilbert's 10th problem to other rings of number-theoretic interest, especially the rationals $\mathbb{Q}$. See for instance this nice survey paper of Poonen.
Sam Hopkins
- 24.2k
- 5
- 97
- 171