TY - RPRT TI - A Constructive Approach to Complete Spaces AU - Valery Isaev PY - 2024 UR - https://arxiv.org/abs/2412.20835 ID - 2412.20835 ER -