[Math] Surreal numbers and large cardinals

foundationslarge-cardinalsreference-requestset-theorysurreal-numbers

This is a question in two parts about the interaction of surreal numbers and large cardinals, in both cases just a request for references on the subject.

Part 1 is about foundations. Much of the research that I've seen on the surreal numbers typically treats the foundational issues by either working in NBG set theory (Ehrlich's work) or formulating everything in ZFC and tiptoeing around a formal treatment of proper classes (Conway's work). Also, some authors, again such as Conway, prefer to de-emphasize (though not completely ignore) the foundational issues that arise and assume that the reader will work in a set theory "that can handle it."

I have yet to see any work that focuses on using Grothendieck universes/strongly inaccessible cardinals as part of the growing arsenal of tools used to handle surreal numbers. I'm especially interested in this approach for its potential benefits in studying topology and analysis over the surreals, as well as making it easier to talk about this stuff in the sort of ordinary set-theoretic terms that mathematicians already know about. So,

Question 1: Does anyone have any good references that deal with using ZFC + the Axiom of Universes (ZFC+AU) in working with surreal numbers?

I'm particularly curious to know what foundational issues may arise in ZFC+AU that don't arise in other formal systems like NBG. I'm also very curious to know how well theorems from one foundation can be translated to theother, such as translating Ehrlich's results from NBG to ZFC+AU, and vice versa. General references on the interplay between NBG and ZFC+AU are also welcome; working with surreals requires me to learn a bit more logic!

Part 2 is about the fact that large cardinals can be fun to think about, in a kind of mystical set-theoretic way, and they carry over to the surreals by giving you new and exotic surreal numbers. I'm very interested to see if anyone's studied these "large surreals," some of which I suspect will have very interesting properties. I'm pretty sure that however interesting you think your favorite large cardinal is, the set of surreals generated by it on that birthday has to be at least twice as interesting, and there's a whole zoo of large cardinals to look at. Measurable surreals sound particularly interesting to me. So,

Question 2: Does anyone have any good references that deal with the interaction of various large cardinal axioms on the field of surreal numbers, as well as the interesting properties some of these "large surreals" might have?

Many thanks, and I'd much appreciate any references to useful literature on this topic! I've read Conway's ONAG, Knuth's book, and many of Ehrlich's papers, and I'd like some guidance on what references to turn to next, particularly with respect to the topics listed here.

Best Answer

I'm not aware of references that use universes in the study of surreal numbers. The reason --- for the non-existence of such references or for my non-awareness of them if they do exist --- is that there seems to be very little new to be said here. If $U$ is a Grothendieck universe, then there is a model of NBG (and in fact of the stronger Morse-Kelley theory) that has the elements of $U$ as its sets and the subsets of $U$ as its classes. Thus, whatever has been done in NBG (or MK) can be automatically translated to the setting of a Grothendieck universe.

Your idea of looking at large cardinals, for example measurable ones, in the setting of surreal numbers certainly makes sense. All the ordinal numbers, including in particular the cardinal numbers, are among the surreal numbers, so any large cardinals that exist can be regarded as surreal numbers. The key issue here will be whether something can be said about large cardinals in the surreal context that isn't just a direct, routine translation of what can be said in the usual set-theoretic context. I'm not aware of any such results, but there may well be some that have escaped my notice.