TY - RPRT TI - HMC real numbers in Countable Mathematical Analysis AU - Martin Klazar PY - 2023 UR - https://arxiv.org/abs/2308.04474 ID - 2308.04474 ER -