Re: Paper and slides on indefiniteness of CH: My final mail to the Thread

Dear Sy,

Before we close this thread, it would be nice if you could state what the current version of \textsf{IMH}^\# is. This would at least leave me with something specific to think about.

Is it:

1) (SDF: Nov 5) M is weakly #-generated and for each phi, if
for each countable alpha, phi holds in an outer model of M which
is generated by an alpha-iterable presharp then phi holds in an inner model of M.

2) (SDF: Nov 8) M is weakly #-generated and for all \phi: Suppose that whenever g is a generator for M (iterable at least to the height of M), \phi holds in an outer model M with a generator which is at least as iterable as g. Then \phi holds in an inner model of M.

or something else? Or perhaps it is now a work in progress?

Regards,
Hugh

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>