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>."
_______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/LKGYFTKAC5B7YZR6W6BZZPMQBVLF4TVB/ Code of Conduct: http://python.org/psf/codeofconduct/
