TY - RPRT TI - Constructive strong regularity and the extension property of a compactification AU - Giovanni Curi PY - 2022 UR - https://arxiv.org/abs/2105.07457 ID - 2105.07457 ER -