decidability of the first-order theory of the real numbers

1. REDIRECT Decidability of first-order theories of the real numbers

{{Redirect category shell|

{{R from modification}}

{{R from move}}

}}