Abstract
John Horton Conway presents in his book “On Numbers and Games” a general method to create a class of numbers containing all real numbers as well as every ordinal number. Using the logical law of excluded middle (LEM) he equips this class with the structure of a totally ordered field. This paper is a first step to investigate the contribution of Conway’s theory to the foundations of Constructive Nonstandard Analysis. In his book Conway suggests defining real numbers as (Conway) cuts in the set of rational numbers. Following his ideas, a constructive notion of real numbers will be developed. Parallels to and differences from the concept of generalized real numbers recently published by Fred Richman [Indag. Mathem., N. S., 9 (4) 595–606 (1998)] will be outlined.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Elwyn R. Berlekamp, John H. Conway, Richard K. Guy: Winning Ways, Academic Press, London, GB, 1982, 3rd ed. 1985.
John H. Conway: On Numbers and Games, Academic Press, London, GB, 1976.
John H. Conway: The surreals and the reals,in [4] 93–103.
Philip Ehrlich (ed.): Real Numbers, Generalizations of the reals and Theories of Continua, Kluwer, Dordrecht, NL, 1994.
Norman M. Martin, Stephen Pollard: Closure Spaces and Logic, Kluwer, Dordrecht, NL, 1996.
Fred Richman: Generalized Real Numbers in Constructive Mathematics, Indag. Mathem., N. S., 9 (4) (1998) 595–606.
Fred Richman: The fundamental theorem of algebra: a constructive development without choice,Pacific J. Math., 196 (2000) 213–230.
Frank Rosemeier: A Constructive Approach to Conway’s Theory of Games,to appear in Seminarberichte aus dem Fachbereich Mathematik, FernUniversität Hagen (ISSN 0944–5838). http://www.fernuni-hagen.de/MATHEMATIK/ALGGEO/Mitarbeiter/Rosemeier/publ.html
Peter Schuster: A Constructive Look at Generalised Cauchy Reals,Math. Logic Quarterly 46 (2000) 125–134.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Rosemeier, F. (2001). On Conway Numbers and Generalized Real Numbers. In: Schuster, P., Berger, U., Osswald, H. (eds) Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum. Synthese Library, vol 306. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9757-9_19
Download citation
DOI: https://doi.org/10.1007/978-94-015-9757-9_19
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5885-0
Online ISBN: 978-94-015-9757-9
eBook Packages: Springer Book Archive