Do all the field theorems apply to surreal numbers? If fields were redefined so that their elements were allowed to come from an arbitrary class, would the theory look different to an algebraist?

5Conway calls it a Field. With capital letter. To signify that it is a proper class. The field axioms involve at most 3 elements at a time, so there should be no problem thinking of No as a field. – Gerald Edgar Dec 7 '12 at 22:30

IIRC Conway makes a big point in On Numbers and Games about how he's not using set theory as a foundation, basically as a matter of aesthetics...? – Ben Crowell Dec 8 '12 at 4:45

6When I was much younger, this is what I thought Class Field Theory was all about. – Kevin Ventullo Dec 8 '12 at 6:02

1@Ben: I think maybe Conway is claiming that he is not wedded to a particular axiomatic presentation of set theory such as ZFC. Of course, the development of games and numbers does appeal to a certain amount of settheoretic infrastructure such as ordinals, and there is plenty of implicit use of things like the regularity axiom (allowing one to apply induction principles to sets and games). – Todd Trimble♦ Dec 8 '12 at 12:23
First, let me say that the set/class issue is not a problem to deal with properly, and so one shouldn't be very worried about it. It is true as you say that the surreal numbers No are a proper class, and they do not form a set. So in a purely technical sense, they are not a field. But nevertheless, they do satisfy all the field axioms and have all the usual kinds of structure that one would want in a field, and so one can correctly describe them as a proper class field, or Field as Conway writes it, in much the same way that the class of all ordinals is regarded as a proper class wellorder. Although this set/class issue may seem mysterious or irritating, in practice it is a routine matter to handle correctly for those familiar with the set/class distinction.
But since you seem particularly interested in what might go wrong, let me suggest on the negative side, one issue that could make a difference is that when dealing with the surreal field No, one will want to strengthen the background set theory from ZFC to GBC, which includes the global axiom of choice, the assertion that there is a proper class wellordering of the universe. The reason is that it is consistent with ZFC that the surreal numbers do not admit any proper class wellordering, and actually, the assertion that they have a definable such wellordering is equivalent to the settheoretic axiom known as V=HOD, as I proved in my answer to David Feldman's question on a Definable map from all the ordinals to the surreal numbers. So if one wants to undertake algebraic constructions requiring one to have a wellordering of the field itself, such as finding a proper class maximal ideal inside a particular subring of No, then there could be difficulties undertaking such a construction in ZFC as opposed to GBC. But nevertheless, the theory GBC is conservative over ZFC and one may thereby freely assume the global axiom of choice. (This is used in the various arguments showing that No is universal for classsized objects, such as the assertion that every class order embeds to a suborder of No.) In particular, in GBC one has a wellordering of the entire universe, including the surreals, and this situation would address such issues. Much of the theory undertaken by Ehrlich on the surreals, for example, works in GBC as the background theory. Beyond this issue, even in GBC one does not have any sense of a wellordering of the (metaclass) collection of all classsized subrings of No, if this were desired for any algebraic construction, and this is the kind of issue that would arise with the set/class issue.
But meanwhile, there is also a positive answer. The situation is that if one wants set versions of the surreal numbers, they are abundantly available in increasingly powerful and accurate approximations, which are wellunderstood and studied. Specifically, we have numerous setsized approximations to the surreal numbers, simply by considering the set of surreal numbers born before a given ordinal birthday. For any ordinal $\lambda$, let $\text{No}(\lambda)$ be the set of surreal numbers born before $\lambda$. One should regard $\text{No}(\lambda)$ as the version of the surreal numbers as constructed inside the settheoretic universe $V_\lambda$, which can satisfy increasing fragments of our set theory, as $\lambda$ is chosen to exhibit increasingly strong closure properties.
Philip Ehrlich mentioned in his recent talk at the CUNY Logic Workshop that he and Lou van den Dries prove in their article Fields of surreal numbers with exponentiation the following facts:
$\text{No}(\lambda)$ is an additive subgroup of No if and only if $\lambda=\omega^\alpha$ for some ordinal $\alpha$; that is, if and only if $\lambda$ is additively indecomposable.
$\text{No}(\lambda)$ is an additive subring of No if and only if $\lambda=\omega^{\omega^\alpha}$ for some ordinal $\alpha$; that is, if and only if $\lambda$ is multiplicatively indecomposable.
$\text{No}(\lambda)$ is a subfield of No if and only if $\lambda$ is an $\epsilon$number, that is, if and only if $\lambda=\epsilon_\alpha$ for some $\alpha$.
These facts are proved by giving a careful analysis of exactly how long it takes to add the inverse of a given surreal number, based on its birthday, and so when the ordinal $\lambda$ is closed under those waiting times, then the resulting $\text{No}(\lambda)$ contains the requisite inverses.
Ultimately, we obtain setsized approximations $\text{No}(\lambda)$ to the surreals by truncating at sufficiently powerful ordinals. Indeed, for any particular natural number $n$, there will be a closed unbounded proper class of ordinals $\lambda$ such that $\text{No}(\lambda)$ has all the same $\Sigma_n$expressible properties as the full class of surreal numbers No. This can be proved as an immediate consequence of the reflection theorem. So in fact, No is the union of a proper class chain of increasingly elementary subfields $\text{No}(\lambda)$.
One can think of the situation as corresponding to the small/large distinction that one finds in category theory with the use of Grothendieck universes, as in Daniel's answer. But in fact one doesn't need a whole Grothendieck universe just to have a subfield, since a mere epsilon number suffices in comparison with an inaccessible cardinal (which are all epsilon numbers).

It might be worth noting that, in general, the identification of No$(\lambda)$ with the surreal numbers as constructed in $V_\lambda$ presupposes a particular (probably fairly standard) settheoretic representation of the surreals. For general $\lambda$ (even $\epsilon$numbers), one could code surreals so that $V_\lambda$ contains some born long after day $\lambda$. It seems the choice of coding becomes irrelevant for this purpose just when $\lambda$ is a bethfixed point (or $\omega$). – Andreas Blass Dec 8 '12 at 21:05

Yes, I agree with that, but it seems the usual constructions would have an agreement much more often, indeed, at every limit ordinal. Namely, we can regard the surreal number {L∣R}, where L and R are sets of earlierborn surreal numbers, as instantiated in set theory simply by the pair $\langle L,R\rangle$, coded as usual in set theory. With this, it follows that the surreal numbers born before any limit ordinal $\lambda$ are exactly those represented in this way in $V_\lambda$. But you are right, if $\lambda$ is not a bethfixed point, then $V_\lambda$ has much larger sets. – Joel David Hamkins Dec 8 '12 at 21:43
In ZFC+I, where I asserts the existence of a strongly inaccessible cardinal, we can create a Grothendieck universe out of that inaccessible cardinal and have a set that satisfies all the properties of the surreal numbers, where quantification is taken over elements of that universe. From the perspective of the outside universe, this would be a field. Since no one has found a contradiction in ZFC+I, it's safe to say at present that the field theorems apply to surreal numbers and that an algebraist cannot detect any essential difference, only relative differences that you probably know such as "This Field contains all totally ordered fields."