Re: Paper and slides on indefiniteness of CH


On Oct 28, 2014, at 4:37 PM, Sy David Friedman wrote:

So, if you fix the proof, you have proved the HOD Conjecture.

I’ll try not to let that scare me ;)

?? This seems like an odd comment. The HOD Conjecture is a prediction of the Ultimate L Conjecture. But there is no reason it could not have a proof which has nothing to do with the Ultimate L Conjecture.

But I’m also not surprised that there was a bug in my proof!

Why? Do you believe the HOD Conjecture? If so why?


Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>