Special:EditPage/Decidability of first-order theories of the real numbers