$\langle \mathbb {R}, +, <, 1 \rangle $ Is Decidable in $\langle \mathbb {R}, +, < , \mathbb {Z}\rangle $.

Alexis Bs, Christian Choffrut

Browse the full LATA paper archive.