[FOM] [PS] characterization of real numbers (?)
saeed at cs.utu.fi
Mon Feb 14 08:50:44 EST 2005
I would like to thank the ones who contributed to the discussion about
characterizing the real order. The main question proposed earlier by
Shipman still remains unanswered to me:
Where the proof of Friedman's theorem [that a linearly ordered set is
isomorphic to the real ordering iff it is unbounded below and above, has
the least upper bound property and for which there exists a continuous
middle-value function] has been published/appeared?
PS. I hope this will make its way through the list, as the FOM mailing
list doesn't seem to be that advanced to get the HTML messages which are
common in web-based email systems.
More information about the FOM