English Decidability of first-order theories of the real numbers Cited by user Citation bot on 12 Jul 2023 In mathematical logic, a first-order language of the real numbers is the set of all well-formed sentences of first-order logic that involve universal and existential…