FOM: new axioms panel

[Juliette Kennedy]

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