pax0 at seznam.cz
Wed Aug 15 02:41:07 EDT 2007
> 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
More information about the FOM