TY  - RPRT
TI  - There is no maximal decidable expansion of the $\langle \mathbb{N} ,\{ < \} \rangle$ structure
AU  - Sergei Soprunov
PY  - 2022
UR  - https://arxiv.org/abs/1911.09059
ID  - 1911.09059
ER  -