Re: Paper and slides on indefiniteness of CH

Dear Hugh,

In light of your HOD Dichotomy I interpreted the HOD conjecture to say that if there is an extendible delta then HOD correctly computes successors of singulars above \delta correctly. All I meant was that if you drop the extendible then this conclusion need not hold. I am guessing (I really don’t know) that if there is an extendible then this conclusion does hold (and hence the HOD Conjecture is true).

Unless you can derive extendibles from some form of maximality the consequence I would draw from the HOD conjecture would be that maximality violates the existence of extendible cardinals.

Best, Sy

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>