[FOM] Global well ordering versus axiom scheme of collection

[Frode Bjørdal]

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>