[FOM] Global well ordering versus axiom scheme of collection

[Colin McLarty]

I have not thought about that. I don't know.

Colin

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[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 Oslo
> www.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>