The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small

  title={The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small},
  author={Philip Ehrlich},
  journal={The Bulletin of Symbolic Logic},
  pages={1 - 45}
  • Philip Ehrlich
  • Published 1 March 2012
  • Mathematics
  • The Bulletin of Symbolic Logic
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 −ω, ω/2, 1/ω, and ω − π 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… 

An algebraic (set) theory of surreal numbers, I

The notion of surreal number was introduced by J.H. Conway in the mid 1970's: the surreal numbers constitute a linearly ordered (proper) class $No$ containing the class of all ordinal numbers ($On$)

Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton

In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A

Integration on the Surreals

Conway’s real closed field No of surreal numbers is a sweeping generalization of the real numbers and the ordinals to which a number of elementary functions such as log and exponentiation have been

Surreal fields stable under exponential and logarithmic functions

Surreal numbers, that were initiated by Conway and popularized by Knuth, have a very rich and elegant theory, rooted in strong fundamental nice set theoretic foundations. This class of numbers,

Surreal fields stable under exponential, logarithmic, derivative and anti-derivative functions

The class of surreal numbers, denoted byNo, initially proposed by Conway, is a universal ordered eld in the sense that any ordered eld can be embedded in it. They include in particular the real

An infinite natural sum

It is shown how to evaluate the countable natural sum just by computing a finite natural sum, which differs from the more usual infinite ordinal sum only for an initial finite "head" and agrees on the remaining infinite "tail".

Which Numbers Simplify Your Problem

An extension of the ring of scalar quantities, from the usual field of real numbers to a non-Archimedean, sometimes permits to simplify some problems which, at a first sight, may seem not correlated

Non-Standard Analysis

Mathematics contains naturally occurring continuous phenomena, such as the geometric line. One project in mathematics is to provide a characterisation of the continuous number system, the arithmetic


This sequel to [16], analogous results for ordered abelian groups and ordered domains are established and it is shown that the theories of nontrivial divisible ordering groups, ordered fields, and real-closed ordered fields are the sole theories that are isomorphic to initial subgroups and initial subfields of ${\bf{No}}.

Oldest Paradoxes, Future Mathematics and Mysticism

A direct path that has been missed for 100 years leads from the oldest paradoxes straight to mysticism, via (the concept of) logical and mathematical truth, since the purely formal truth is an



Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers

This algebraico-tree-theoretic structure, or simplicity hierarchy, depends upon No's (implicit) structure as a lexicographically ordered binary tree and arises from the fact that the sums and products of any two members of the tree are the simplest possible elements of theTree consistent with No's structure as an ordered group and an ordered field, respectively.

All Numbers Great and Small

Starting with the ordered set Q of rational numbers, Dedekind defined a real number to be an ordered pair (L, R), where L < R, L ∪ R= Q and L, R ≠o. von Neumann later identified each ordinal with the


Conway introduced the Field No of numbers, which Knuth has called the surreal numbers. No is a proper class and a real-closed field, with a very high level of density, which can be described by

Fields of surreal numbers and exponentiation

We show that Conway’s field of surreal numbers with its natural exponential function has the same elementary properties as the exponential field of real numbers. We obtain ordinal bounds on the

An Isomorphism Theorem for Real-Closed Fields

A classical theorem of Steinitz [12, p. 125] states that the characteristic of an algebraically closed field, together with its absolute degree of transcendency, uniquely determine the field (up to

Real Numbers, Generalizations of the Reals and Theories of Continua (Synthese Library, Vol. 242)

The Cantor--Dedekind Philosophy and its Early Reception, and Extensions and Generalizations of the Reals: Some 20th-Century Developments.

The Role of Classes in Set Theory

On the existence of real-closed fields that are _{}-sets of power ℵ_{}

Introduction. In the theory of 7la-sets three main theorems stand out: I. An 77-set is universal for totally ordered sets of power not exceeding Ka. II. Two 71a-sets of power R. are isomorphic. III.

Integration on surreal numbers

A general scheme of definition is considered for functions on No, generalising those for sum, product and exponential, and a generalisation of Riemann integration is defined, which is linear, monotone, and satisfies integration by parts.

Rational and Real Ordinal Numbers

In consequent extension of Cantor’s theory of ordinal numbers 0, 1, 2, …ω,ω + 1, ω + 2, …ω・2, ω・2+1, ω・2+2, …… ω2, ……… , non-Archimedean number models for the real axis have been constructed by