I have been recently contemplating the fact that one can characterise
wellorders as those total orders that have the (rather nice) property
that every subordering is iso to an initial segment.
Who first proved this fact?
tf
--
URL: www.dpmms.cam.ac.uk/~tf; DPMMS ph:
+44-1223-337981. Mobile +44-7887-701-562.