Search

• < Previous
• 1
• Next >

Theories of real addition with and without a predicate for integers

We show that it is decidable whether or not a relation on the reals definable in the structure $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ can be defined in the structure $\langle \mathbb{R}, +,<, 1 \rangle$. This result is achieved by obtaining a topological characterization of $\langle&nbsp;[&hellip;]