On Mon, Oct 12, 2020, 9:50 AM Stephen J. Turnbull
As far as what Steven discussed, the ordinal numbers have the same properties (except I've never heard of ω-1 in a discussion of ordinals, but it should work I think). (Maybe the surreals are constructed from the ordinals as the reals are constructed from the cardinals?)
Not exactly. Cauchy sequences define Reals in terms of countably infinite sequences of Rational numbers. The Surreals are defined by binary trees of every transfinite length (not only countably infinite).
Basically, the right-most branch in the Surreal tree is simply the Cantor ordinals. But in the other paths were encounter things like infinitesimals and ω-1. Subtraction and division wind up defined over Surreals, unlike for regular transfinite ordinals.
"If formulated in von Neumann–Bernays–Gödel set theory https://en.m.wikipedia.org/wiki/Von_Neumann%E2%80%93Bernays%E2%80%93G%C3%B6del_set_theory, the surreal numbers are a universal ordered field in the sense that all other ordered fields, such as the rationals, the reals, the rational functions https://en.m.wikipedia.org/wiki/Rational_function, the Levi-Civita field https://en.m.wikipedia.org/wiki/Levi-Civita_field, the superreal numbers https://en.m.wikipedia.org/wiki/Superreal_number, and the hyperreal numbers https://en.m.wikipedia.org/wiki/Hyperreal_number, can be realized as subfields of the surreals. The surreals also contain all transfinite https://en.m.wikipedia.org/wiki/Transfinite_number ordinal numbers https://en.m.wikipedia.org/wiki/Ordinal_number; the arithmetic on them is given by the natural operations https://en.m.wikipedia.org/wiki/Ordinal_arithmetic#Natural_operations."