TY - RPRT TI - Decidability of the Multiplicative and Order Theory of Numbers AU - Ziba Assadi PY - 2020 UR - https://arxiv.org/abs/2009.06336 ID - 2009.06336 ER -