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.