FOM: cardinals in ZFC fragments

Rupert McCallum rupertmccallum at
Tue Aug 6 18:27:54 EDT 2002

It is not obvious that Z proves every set is in some level. The only
proof I can think of uses the transitive closure. 

Perhaps I should just have said Scott's trick will work in Z+"every set
is in some level".

Do You Yahoo!?
Yahoo! Health - Feel better, live better

More information about the FOM mailing list