Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Mamane, Lionel Elie
2006.
Types for Proofs and Programs.
Vol. 3839,
Issue. ,
p.
170.
Published online by Cambridge University Press: 12 March 2014
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.