Bulletin of Symbolic Logic

The absolute arithmetic continuum and the unification of all numbers great and small

Philip Ehrlich

Full-text: Access denied (no subscription detected) We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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 (von Neumann—Bernays—Gödel set theory with global choice), 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 (modulo the Archimedean axiom), No may be regarded as a sort of absolute arithmetic continuum (modulo NBG), 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.

Article information

Source
Bull. Symbolic Logic Volume 18, Issue 1 (2012), 1-45.

Dates
First available in Project Euclid: 23 January 2012

Permanent link to this document
http://projecteuclid.org/euclid.bsl/1327328438

Digital Object Identifier
doi:10.2178/bsl/1327328438

Zentralblatt MATH identifier
06026116

Mathematical Reviews number (MathSciNet)
MR2798267

Citation

Ehrlich, Philip. The absolute arithmetic continuum and the unification of all numbers great and small. Bull. Symbolic Logic 18 (2012), no. 1, 1--45. doi:10.2178/bsl/1327328438. http://projecteuclid.org/euclid.bsl/1327328438.


Export citation