TY - RPRT TI - Types of connectedness of the constructive real number intervals AU - Viktor Chernov PY - 2021 UR - https://arxiv.org/abs/2108.11189 ID - 2108.11189 ER -