Bulletin of Symbolic Logic 18 (1):1-45 (2012)

Authors
Philip Ehrlich
Ohio University
Abstract
In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field containing the reals and the ordinals as well as a great many less familiar numbers including $-\omega, \,\omega/2, \,1/\omega, \sqrt{\omega}$ and $\omega-\pi$ to name only a few. Indeed, this particular real-closed field, which Conway calls No, is so remarkably inclusive that, subject to the proviso that numbers—construed here as members of ordered fields—be individually definable in terms of sets of NBG, it may be said to contain “All Numbers Great and Small.” In this respect, No bears much the same relation to ordered fields that the system ℝ of real numbers bears to Archimedean ordered fields. In Part I of the present paper, we suggest that whereas $\mathbb{R}$should merely be regarded as constituting an arithmetic continuum, No may be regarded as a sort of absolute arithmetic continuum, and in Part II we draw attention to the unifying framework No provides not only for the reals and the ordinals but also for an array of non-Archimedean ordered number systems that have arisen in connection with the theories of non-Archimedean ordered algebraic and geometric systems, the theory of the rate of growth of real functions and nonstandard analysis. In addition to its inclusive structure as an ordered field, the system No of surreal numbers has a rich algebraico-tree-theoretic structure—a simplicity hierarchical structure—that emerges from the recursive clauses in terms of which it is defined. In the development of No outlined in the present paper, in which the surreals emerge vis-à-vis a generalization of the von Neumann ordinal construction, the simplicity hierarchical features of No are brought to the fore and play central roles in the aforementioned unification of systems of numbers great and small and in some of the more revealing characterizations of No as an absolute continuum.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/bsl/1327328438
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,508
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Non-Standard Analysis.Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.

View all 14 references / Add more references

Citations of this work BETA

Surreal Decisions.Eddy Keming Chen & Daniel Rubio - 2020 - Philosophy and Phenomenological Research 100 (1):54-74.

View all 18 citations / Add more citations

Similar books and articles

The Absolute Arithmetic and Geometric Continua.Philip Ehrlich - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:237 - 246.
Groundwork for Weak Analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
Ordered Sets R and Q as Bases of Kripke Models.Mitio Takano - 1987 - Studia Logica 46 (2):137 - 148.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
What Are Numbers?Zvonimir Šikić - 1996 - International Studies in the Philosophy of Science 10 (2):159-171.
Is Time a Continuum of Instants.Michael Dummett - 2000 - Philosophy 75 (4):497-515.

Analytics

Added to PP index
2012-01-24

Total views
145 ( #60,594 of 2,330,905 )

Recent downloads (6 months)
2 ( #396,538 of 2,330,905 )

How can I increase my downloads?

Downloads

My notes