TY - RPRT TI - Walks along a weak square sequence and the non-semiproperness of Namba forcings AU - Kenta Tsukuura PY - 2025 UR - https://arxiv.org/abs/2502.11579 ID - 2502.11579 ER -