Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


Paul
Posts:
500
Registered:
7/12/10


Re: Using classes instead of sets
Posted:
Mar 30, 2013 5:55 AM


On Friday, March 29, 2013 4:28:28 PM UTC, Frederick Williams wrote: > Timothy Murphy wrote: > > > > > > Paul wrote: > > > > > > > However, the surreal numbers don't form a set since they contain a copy of > > > > the ordinals. They form a class. Since I can't see a problem with the > > > > nonsetness of surreal numbers, I wonder why definitions of other > > > > mathematical structures aren't more general and why the above categories > > > > are defined on sets rather than classes. > > > > > > I feel Paul raised a very interesting question, > > > which to my mind has not been answered yet. > > > > > > Conway's definition of a surreal number x is, roughly speaking, > > > > > > x = < L  R > > > > > > > where L and R are sets of surreal numbers > > > subject to the condition that y in L & z in R => y < z. > > > > > > This is not a complete definition; > > > one has to define the order on the surreal numbers at the same time. > > > > > > But it seems to me that the difficulty  if there is one  > > > lies in this recursive definition of a surreal number. > > > > > > Is there an axiomatic set theory that allows recursive definitions > > > of this kind? > > > > Surreal numbers may be defined in set theory. One definition is that a > > surreal number is a function with domain some ordinal and codomain {1, > > 1}. > Yes. This definition is uncontroversial but the L  R definition needs more work to see that it is legitimate. This can be seen by showing that the two definitions are equivalent, which is done by Gonshor. So the L  R definition is actually completely ok. If it seems that there is a "difficulty" with it, the issue is only in which details have been left out by the author we're learning this from, not with the theory itself.
Actually (in reply to Timothy Murphy), I feel that quasi did answer my questions as follows: 1) Why not have a class, instead of a set, as an underlying object for structures like groups and rings? Quasi gives 4 reasons. 2) If there's a problem with using a class as above, why is the definition of the surreal numbers (which do not form a set) ok? Answer: There is no real problem with using a class. Surreal numbers are perfectly welldefined within standard models of set theory.
Paul Epstein



