[FOM] Re: Why the definition of "large cardinal axiom" matters

Timothy Y. Chow tchow at alum.mit.edu
Tue Apr 20 12:53:50 EDT 2004


Roger Bishop Jones wrote:
>Should we expect large cardinals to settle CH, or should
>we suspect that a large cardinal which does so is saying
>more than a large cardinal axiom should?

Levy-Solovay and Cohen showed that large cardinals cannot be expected to 
settle CH.

Or so I'm told...I don't understand their work myself.  Could someone 
explain these results in intuitive terms?  (I understand how to show
that CH is independent of ZFC.)

Tim



More information about the FOM mailing list