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ƃ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: http://friam.471366.n2.nabble.com/