Journal of Symbolic Logic 63 (2):337-371 (1998)
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 ω 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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Warnings on Resistance and the Language of Possibility: Gramsci and a Pedagogy From the Surreal.Guy B. Senese - 1991 - Educational Theory 41 (1):13-22.
Surrealism's Revisionist Reading of Freudian Psychology: Surreal Film and the Dream.James Magrini - unknown
Construction of Monadic Three-Valued Łukasiewicz Algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
Corrigendum to "Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers".Philip Ehrlich - 2005 - Journal of Symbolic Logic 70 (3):1022.
Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers.Philip Ehrlich - 2001 - Journal of Symbolic Logic 66 (3):1231-1258.
Recursive Surreal Numbers.Leon Harkleroad - 1990 - Notre Dame Journal of Formal Logic 31 (3):337-345.
The Persistence of Memory: Surreal Trajectories in Bohm's Theory.Jeffrey A. Barrett - 2000 - Philosophy of Science 67 (4):680-703.
Added to index2009-01-28
Total downloads37 ( #135,851 of 2,153,368 )
Recent downloads (6 months)1 ( #399,083 of 2,153,368 )
How can I increase my downloads?