Talk:Decidability of first-order theories of the real numbers