TY - RPRT TI - Definable Continuous Induction on Ordered Abelian Groups AU - Jafar S. Eivazloo PY - 2017 UR - https://arxiv.org/abs/1703.05493 ID - 1703.05493 ER -