[FOM] Global well ordering versus axiom scheme of collection
colin.mclarty at case.edu
Thu Aug 16 16:28:35 EDT 2012
I have not thought about that. I don't know.
On Tue, Aug 14, 2012 at 3:29 PM, Frode Bjørdal
<frode.bjordal at ifikk.uio.no> wrote:
> 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?
> Frode Bjørdal
> Professor i filosofi
> IFIKK, Universitetet i Oslo
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM