[FRIAM] MM implies (*)

[uǝlƃ ☤>$]

Why am I just now hearing about this? Jeez. I rely on y'all to keep me up to date. What am I paying you for anyway? 8^D

Martin’s Maximum++ implies Woodin’s axiom (∗)
https://annals.math.princeton.edu/2021/193-3/p03

via:
How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer.
https://www.quantamagazine.org/how-many-numbers-exist-infinity-proof-moves-math-closer-to-an-answer-20210715/

-- 
☤>$ uǝlƃ