Re: Paper and slides on indefiniteness of CH

Dear Harvey,

You are right, to get strength from reflection one not only needs higher-order logic (lengthenings) but also class (2nd order) parameters. As I said in what I wrote, I chose to ignore parameters to simplify the discussion. In fact allowing more than 2nd-order parameters will lead to inconsistency unless one treats them carefully using embeddings, what I call “Magidor reflection”. But obviously I wanted to avoid this subtle discussion of parameters to bring out the main point: Lenthenings are required to derive an inaccessible from reflection.


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>