[FOM] Global well ordering versus axiom scheme of collection
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 (which is ZF without the power set axiom), the axiom scheme
> of replacement does not imply that of collection. But ZF with a
> well ordering of the universe does, of course, since you can take the
> 'minimal' exemplar from each class.
Is extensionality needed?
Professor i filosofi
IFIKK, Universitetet i Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM