## Surreal numbers

How do you show that the surreal numbers form a proper class?
 PhysOrg.com science news on PhysOrg.com >> New language discovery reveals linguistic insights>> US official: Solar plane to help ground energy use (Update)>> Four microphones, computer algorithm enough to produce 3-D model of simple, convex room
 Recognitions: Homework Help Science Advisor I suspect it goes along the lines of: show that there is proper class of ordinals, and show that for each ordinal one can construct inequivalent surreal numbers, or something. Since there are 'more' ordinals than cardinals, and there is a proper class of cardinals (if there is a set of cardinals, C, what is the cardinality of the power set of C?), this becomes easy - if I've understood the one thing I read about surreal numbers and some link to ordinals, and that;s a big if.
 I don't understand why the surreal numbers don't form a complete ordered field, in which case the real numbers wouldn't be the only complete ordered field. I guess technically if the surreals form a proper class then it wouldn't count, but that's... wrong, somehow.

## Surreal numbers

Never mind, I was reading the Wiki article, and I apparently misunderstood some things.
 Recognitions: Homework Help Science Advisor I don't know what you've read so I can't really comment, but completeness usually requires some notion of a metric - i.e. a mapping into R, the real numbers. So what is the norm of any non-real surreal?
 If a metric needs to be real-valued, and if the surreals form a proper class (or indeed a set bigger than reals) then it can't be defined. But I haven't read anything on the "norm" of surreal numbers; maybe it's defined differently.

Recognitions:
Homework Help
 Quote by Dragonfall If a metric needs to be real-valued,
It does.

 and if the surreals form a proper class

they do - apparently.

Checking the definitions is always a good idea.
 (Rehash of my earlier post... only this time, correct) Ignoring that the surreals form a proper class rather than a set, you'd need to prove that you can't define a metric on them that turns them into a complete ordered field. One way to see that the surreal numbers are not a complete ordered field is to use the axioms of a complete ordered field to show that they satisfy the archimedean property, which says that there are no infinitesimals other than 0 and no infinities. Since the surreal numbers have non-zero infinitesimals and infinities, they cannot be a complete ordered field.
 Recognitions: Gold Member Science Advisor Staff Emeritus The easiest way to show the surreals are a proper class is by contradiction. Assume they form a set, then construct a new surreal number not in that set. (hint... can you find one bigger than everything in that set?)
 If X is the set of all surreal numbers, then so is $$\{ X|\emptyset\}$$. But this only leads to a contradiction assuming well-foundedness.

Recognitions:
Gold Member
 Quote by Dragonfall If X is the set of all surreal numbers, then so is $$\{ X|\emptyset\}$$. But this only leads to a contradiction assuming well-foundedness.