[FOM] Global well ordering versus axiom scheme of collection

Frode Bjørdal frode.bjordal at ifikk.uio.no
Tue Aug 14 15:29:59 EDT 2012

2012/8/14 Colin McLarty <colin.mclarty at case.edu>

> Over ZF[0] (which is ZF without the power set axiom), the axiom scheme
> of replacement does not imply that of collection.  But ZF[0] with a
> well ordering of the universe does, of course, since you can take the
> 'minimal' exemplar from each class.
Is extensionality needed?


Frode Bjørdal
Professor i filosofi
IFIKK, Universitetet i Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120814/61b2043d/attachment.html>

More information about the FOM mailing list