FOM: new axioms panel

Juliette Kennedy jkennedy at
Fri Feb 18 02:46:10 EST 2000

The Downward Lowenheim-Skolem Theorem gives a way of viewing, say,
a measurable cardinal, as a natural number. Does anyone think that this
fact is relevant to the recent debate on fom about new
axioms?  Also, does Harvey think that this fact has any confirmatory 
value with regard to his program involving large cardinals and finite
combinatorial statements?

Juliette Kennedy
University of Helsinki

More information about the FOM mailing list