Dear Hugh,
I have to leave on a short trip now, and will respond in more detail as soon as I can.
You have again misunderstood the !
Below are some brief responses.
On Mon, 29 Sep 2014, W Hugh Woodin wrote:
Dear Sy,
The disadvantage of your formulation of
is that it is not even in general a
property of M and so it is appealing in more essential ways to the structure of the “hyperuniverse”.
No. It appeals only to the ordinals of “lengthenings”, not to the structure of the Hyperuniverse!
This is why the consistency proof of
uses substantially more than a Woodin cardinal with an inaccessible above, unlike the case of
and
.
OK, It seems we will just have to agree that we disagree here.
OK, so you disagree with treating width actualism with “lengthenings”, unlike Pen, Geoffrey and myself. I am missing a coherent explanation for your view.
I think it is worth pointing out to everyone that
, and even the weaker
which we know to be consistent, implies that there is a real
such that
does not exist.
No, that is not true. The is compatible with all large cardinals. So is the
. What argument are you thinking of?
(even though
exists in the parent hyperuniverse which is a bit odd to say the least in light of the more essential role that the hyperuniverse is playing). The reason of course is that
implies that there is a real
such that
correctly computes
.
No, it does not. What argument do you have in mind?
Sy