Thank you! I wasn't aware of this paper. At first sight I think that the part you refer to establish the required result just for surreals in the form $ r\cdot\omega^x $, but I'll find time to go through it thoroughly as it is most relevant for the matter.


Comments are limited to a maximum of 1000 characters.
More information about formatting options