[FOM] Replacement

[Jan Pax]

>  Not a good mathematical example, as Forster called for. Along these lines,
>  one might prefer
>  
>  there is a limit ordinal with a limit ordinal below.
>  

And thus Borel Determinacy is unprovable in ZFC without replacement as this needs V_omega_1.

>  Again, heavily set theoretic. I.e., set theoretic ordinals.
>  
>  Harvey Friedman 
>  
>  _______________________________________________
>  FOM mailing list
>  FOM at cs.nyu.edu
>  http://www.cs.nyu.edu/mailman/listinfo/fom
>  
>  
>