[FOM] Inconsistency of Inaccessibility

MartDowd at aol.com MartDowd at aol.com
Wed Oct 26 11:00:57 EDT 2011

In a message dated 10/26/2011 7:32:44 A.M. Pacific Daylight Time,  
JoeShipman at aol.com writes:

What is the logically and ontologically simplest meaningful statement  
whose truth depends on the existence of measurable cardinals and not simply on  
the arithmetical consequences of measurable cardinals such as their  

That's a good question.  From a quick scan of Jech, I would say the  
existence of elementary embeddings,
and the existence of Ramsey cardinals, are good examples.  It is  
interesting to note that many relative
consistency results use "core model theory", which is model theory, and  
requires only consistency, not exixtence.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20111026/5f5b406e/attachment.html>

More information about the FOM mailing list