\(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\)
From MaRDI portal
Publication:782563
DOI10.1007/978-3-030-40608-0_8zbMath1484.03016OpenAlexW3007369771MaRDI QIDQ782563
Alexis Bès, Christian Choffrut
Publication date: 27 July 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-40608-0_8
This page was built for publication: \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\)
