[FOM] Naturality of Con(ZFC)

MartDowd at aol.com MartDowd at aol.com
Tue Jan 15 13:07:13 EST 2013

This posting is in response to Vaughn Pratt's comment:
> Meanwhile I will continue to ponder the possibility you raise that  
> consistency of ZFC is unnatural.
Although I haven't read Harvey's manuscripts, he says in #513
:It was shown in #75 that the Divine system corresponds to something  a
little weaker than a measurable cardinal
Con(ZFC) is much weaker.  Indeed it is implied by "there exists a  strongly 
inaccessible cardinal".  There are now strong arguments that these  exist, 
due to the fact that they comprise the first step in a "natural", indeed  
"inevitable", process of extending the cumulative hierarchy.  I believe it  is 
an important question of modern set theory, whether weakly compact 
cardinals  are natural in this sense.  Again, these are much weaker than measurable  
- Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130115/3dd4fb99/attachment.html>

More information about the FOM mailing list