TY - RPRT TI - Forcing with Symmetric Systems of Models of Two Types AU - Curial Gallart PY - 2026 UR - https://arxiv.org/abs/2210.12741 ID - 2210.12741 ER -