21 Sep
2005
21 Sep
'05
7:46 a.m.
I forgot: Additionally, the field has to be order complete as well! Then the reals are unique. My math gets rusty. Remark: ceiling can be extended to the surreal numbers in the obvious way and then is an ordinal. I can't see an easy definition of floor in this case, though! Cheers, Hartmut