TY - RPRT TI - The $κ$-Strongly Proper Forcing Axiom AU - David Asperó AU - Sean Cox AU - Asaf Karagila AU - Christoph Weiss PY - 2024 UR - https://arxiv.org/abs/1912.02130 ID - 1912.02130 ER -