Paper and slides on indefiniteness of CH

Dear all,

Here are two attachments as pdf files.

The first is a paper entitled, “The Continuum Hypothesis is neither a definite mathematical problem nor a definite logical problem”; it is a revision of my 2011 Harvard EFI project lecture.

The second consists of the slides for a recent lecture here, “An outline of Rathjen’s proof that CH is indefinite, given my criteria for definiteness.”

Comments welcome on both.

Sol Feferman

CH is Indefinite
Definiteness, and Rathjen on CH