caa a22 4500 388039124 CHVBK 20180307125016.0 cr unu---uuuuu 161130e199806 xx s 000 0 eng 10.2307/2586835 doi S0022481200014936 pii (NATIONALLICENCE)cambridge-10.2307/2586835 Lurie Jacob Department of Mathematics, Harvard University, Cambridge, MA 02138, USA, E-mail: lurie@husc.harvard.edu The effective content of surreal algebra [Elektronische Daten] [Jacob Lurie] 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. Copyright © Association for Symbolic Logic 1998 The Journal of Symbolic Logic Cambridge University Press 63/2(1998-06), 337-371 0022-4812 63:2<337 1998 63 JSL https://doi.org/10.2307/2586835 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.2307/2586835 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Lurie Jacob Department of Mathematics, Harvard University, Cambridge, MA 02138, USA, E-mail: lurie@husc.harvard.edu NATIONALLICENCE 773 0- The Journal of Symbolic Logic Cambridge University Press 63/2(1998-06), 337-371 0022-4812 63:2<337 1998 63 JSL CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-cambridge