TY - RPRT TI - Construction and Categoricity of the Real Number System Using Decimals AU - Arindama Singh PY - 2019 UR - https://arxiv.org/abs/1907.00737 ID - 1907.00737 ER -