Re: Paper and slides on indefiniteness of CH

On Oct 15, 2014, at 6:56 AM, Sy David Friedman wrote:

Dear Harvey,

Maybe I can be of some help with the set theory question (Hugh, feel free to correct or amplify what I say):

If the GCH holds at some infinite cardinal \kappa in M then one can add a new subset of \kappa^+ without adding a new subset of \kappa and without collapsing cardinals. If the GCH holds at unboundedly many cardinals in M then M has a cardinal-preserving extension which is not a set-generic extension.

Maybe you need GCH holds on a club class? Otherwise I do not see that the Easton products do not collapse for example the double successors of limits. But maybe you have something else in mind at limit stages?

So the difficulty is with models M in which the GCH fails at all sufficiently large cardinals.

I agree, these seem like the very difficult cases.

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>