[FOM] Re: Definition of "large cardinal axiom"?

Dmytro Taranovsky dmytro at mit.edu
Tue Apr 20 15:33:13 EDT 2004

An issue in meta-theory of large cardinal axioms is how to deal with
statements like "there is kappa such that the following holds:  kappa is
an inaccessible cardinal and the Continuum Hypothesis is true".  For
statements claiming existence of large cardinals there is a need to
separate the large cardinal axiom component from other components. 
Requiring invariance of the definition under "small" forcing appears to
do this very well, although I do not fully understand why.

Dmytro Taranovsky

More information about the FOM mailing list