Abstract
In his monograph, H. Gonshor showed that Conway’s real closed field of surreal numbers carries an exponential and logarithmic map. In this paper, we give a complete description of the exponential equivalence classes in the spirit of the additive and multiplicative equivalence classes. This description is made in terms of a recursive formula as well as a sign sequence formula for the family of representatives of minimal length of these exponential classes.
Similar content being viewed by others
References
Conway, J.H.: On numbers and games, 2nd edn., A. K. Peters Ltd., Natick, MA, (2001)
Écalle, J.: Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac, Actualités Mathématiques. Current Mathematical Topics. Hermann, Paris (1992)
Ehrlich, P.: Number systems with simplicity hierarchies: a generalization of Conway’s theory of surreal numbers. J. Symbolic Logic 66(3), 1231–1258 (2001)
Ehrlich, P.: The absolute arithmetic continuum and the unification of all numbers great and small. Bull. Symbolic Logic 18(1), 1–45 (2012)
Gonshor, H.: An introduction to the theory of surreal numbers, London Mathematical Society Lecture Note Series, vol. 110. Cambridge University Press, Cambridge (1986)
Hahn, H.: Über die nichtarchimedischen Grössensystem, Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften. Mathematisch - Naturwiss Klasse (Wien) Abt. IIa 116, 601–655 (1907)
Hausdorff, F.: Mengenlehre. Dover Publications, New York (1944)
Kuhlmann, S., Matusinski, M.: Hardy type derivations on fields of exponential logarithmic series. J. Algebra 345, 171–189 (2011)
Kuhlmann, S., Matusinski, M.: Hardy type derivations in generalized series fields. J. Algebra 351, 185–203 (2012)
Kuhlmann, S., Shelah, S.: κ-bounded exponential-logarithmic power series fields. Ann. Pure Appl. Logic 136(3), 284–296 (2005)
Kuhlmann, S.: Ordered exponential fields. Fields Institute Monographs, vol. 12. American Mathematical Society, Providence, RI (2000)
Kuhlmann, S., Tressl, M.: Comparison of exponential-logarithmic and logarithmic-exponential series. Math. Logic Q. 58, 434–448 (2012)
Schmeling, M.C.: Corps de transséries. Ph.D. thesis, Université Paris-VII (2001)
Sierpiński, W.: Cardinal and ordinal numbers. Monografie Matematyczne, 2nd revised edn., vol. 34. Państowe Wydawnictwo Naukowe, Warsaw (1965)
van den Dries, L., Ehrlich, P.: Fields of surreal numbers and exponentiation. Fund. Math 167(2), 173–188 (2001)
van den Dries, L., Macintyre, A., Marker, D.: Logarithmic-exponential power series. J. London Math. Soc. 56(3), 417–434 (1997)
van den Dries, L., Macintyre, A., Marker, D.: Logarithmic-exponential series. Proc. Int. Conf. Anal. Logique 111, 61–113 (2001)
van der Hoeven, J.: Asymptotique automatique, Université Paris VII, Paris, 1997, Thèse, Université Paris VII. With an introduction and a conclusion in French, Paris (1997)
van der Hoeven, J.: Transseries and real differential algebra. Lecture Notes in Mathematics, vol. 1888. Springer-Verlag, Berlin (2006)
Wilkie, A.J.: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function. J. Amer. Math. Soc 9(4), 1051–1094 (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
We thank Joris van der Hoeven for providing valuable comments on a preliminary version of this article, and the referee for a very careful reading of the submitted manuscript.
Rights and permissions
About this article
Cite this article
Kuhlmann, S., Matusinski, M. The Exponential-Logarithmic Equivalence Classes of Surreal Numbers. Order 32, 53–68 (2015). https://doi.org/10.1007/s11083-013-9315-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-013-9315-3