TY - RPRT TI - Effective weak convergence and tightness of measures in computable Polish spaces AU - Diego A. Rojas PY - 2025 UR - https://arxiv.org/abs/2410.21609 ID - 2410.21609 ER -