TY - RPRT TI - On the Consistency Strength of MM($ω_1$) AU - Natasha Dobrinen AU - John Krueger AU - Pedro Marun AU - Miguel Angel Mota AU - Jindrich Zapletal PY - 2023 UR - https://arxiv.org/abs/2307.06494 ID - 2307.06494 ER -