[FOM] Infinite ordinals in Zermelo set theory

T.Forster@dpmms.cam.ac.uk T.Forster at dpmms.cam.ac.uk
Sun Feb 8 03:34:25 EST 2009


This is known, and fairly well - if not widely - understood. If Zermelo 
includes foundation then one can use *Scott's trick* ordinals: the Scott's 
trick ordinal of a wellordering is the set of all wellorderings iso to it 
of minimal rank. Without foundation life is a bit more complicated. Details 
supplied on request.

       tf


More information about the FOM mailing list