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:
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?