TY - RPRT TI - Total order compatible with addition on commutative semigroups AU - Askold Khovanskii PY - 2022 UR - https://arxiv.org/abs/2210.12835 ID - 2210.12835 ER -