The effective content of surreal algebra
Jacob Lurie · Journal of Symbolic Logic · 1998
Abstract This paper defines and explores the properties of several effectivizations of the structure of surreal numbers. The construction of one of previously investigated systems, the metadyadics, is shown to be effectively equivalent to the construction of the surreals in . This equivalence is used to answer several open questions concerning the metadyadics. Results obtained seem to indicate that the metadyadics best capture the notion of a recursive surreal number.