Theories of real addition with and without a predicate for integers

Alexis Bès, Christian Choffrut

We show that it is decidable whether or not a relation on the reals definable in the structure $⟨\mathbb{R},+,<,\mathbb{Z}⟩$ can be defined in the structure $\langl…