FOM: Feferman on inherent vagueness of CH

[John Case]

GC vs CH?:

For arithmetic (first or even second order) we have THE standard model, and,
thus GC's truth value is well-defined (even if we humans do not know it).  For
set theory, in my opinion, `THE standard model' is without denotation.  
This is why CH may have no well-defined truth value but GC clearly has one.  

(-8 John

  ****************************************************************************
  * John Case                                      Email: case at cis.udel.edu  *
  * Professor                                      Phone: +1-302-831-2714 or *
  * Computer and Information Sciences Department          +1-302-831-4175    *
  * 101A Smith Hall                                  FAX: +1-302-831-8458    *
  * University of Delaware                                                   *
  * Newark, DE 19716-2586 (USA)                     Home: +1-302-832-5557    *
  *                 URL:  http://www.cis.udel.edu/~case                      *
  *         Research at: http://www.cis.udel.edu/~case/research.html         *
  ****************************************************************************