[FRIAM] MM implies (*)

[Russ Abbott]

Nice Quanta article.

-- Russ Abbott
Professor, Computer Science
California State University, Los Angeles


On Mon, Jul 26, 2021 at 7:24 AM uǝlƃ ☤>$ <gepropella at gmail.com> wrote:

> 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/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20210726/c657bb88/attachment.html>