Some arguments in Favor of the Continuum Hypothesis

[martdowd at aol.com]

FOM:
I have just uploaded a manuscript Some arguments in Favor of the Continuum Hypothesis https://www.researchgate.net/publication/363885503
This is in progress, but i have uploaded it as is, and will send another post to FOM when the completed version is uploaded.  Any comments would be appreciated, especially if I could incorporate them.
Does anyone know of a proof that 0# follows from PFA (proper forcing axiom)?  From results I have seen quoted, there's an inner model M with a Woodin cardinal, hence a measurable cardinal, and hence 0# is true in M.  This means that in M there is a non-trivial embedding of L in L, and I suspect this means there is such in V.
Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220927/2b9e75c6/attachment.html>