The effective content of surreal algebra
Journal of Symbolic Logic 63 (2):337-371 (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 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGuy B. Senese (1991). Warnings on Resistance and the Language of Possibility: Gramsci and a Pedagogy From the Surreal. Educational Theory 41 (1):13-22.
Luiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Monique Yaari (1994). Paul Paon's Sur-Surreal Chimera. Utopian Studies 5 (1):108 - 127.
M. J. Lefebve & V. A. Velen (1963). The Surreal Dream and Dreamed Reality. Diogenes 11 (44):81-102.
Miklós Ferenczi (2007). Finitary Polyadic Algebras From Cylindric Algebras. Studia Logica 87 (1):1 - 11.
Philip Ehrlich (2005). Corrigendum to "Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers". Journal of Symbolic Logic 70 (3):1022 -.
Philip Ehrlich (2001). Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers. Journal of Symbolic Logic 66 (3):1231-1258.
Leon Harkleroad (1990). Recursive Surreal Numbers. Notre Dame Journal of Formal Logic 31 (3):337-345.
Jeffrey A. Barrett (2000). The Persistence of Memory: Surreal Trajectories in Bohm's Theory. Philosophy of Science 67 (4):680-703.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads13 ( #89,057 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
