The Effective Content of Surreal Algebra
Lurie, Jacob
J. Symbolic Logic, Tome 63 (1998) no. 1, p. 337-371 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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 L$_{\omega_1}CK$. 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.
Publié le : 1998-06-14
Classification:  
@article{1183745505,
     author = {Lurie, Jacob},
     title = {The Effective Content of Surreal Algebra},
     journal = {J. Symbolic Logic},
     volume = {63},
     number = {1},
     year = {1998},
     pages = { 337-371},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745505}
}

Lurie, Jacob. The Effective Content of Surreal Algebra. J. Symbolic Logic, Tome 63 (1998) no. 1, pp.  337-371. http://gdmltest.u-ga.fr/item/1183745505/