Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers

[1] Maan T. Alabdullah, Essam El-Seidy, and Neveen S. Morcos. On numbers and games. International Journal of Scientific and Engineering Research, 11:510–517, February 2020. Search in Google Scholar

[2] Norman L. Alling. Foundations of Analysis Over Surreal Number Fields. Number 141 in Annals of Discrete Mathematics. North-Holland, 1987. ISBN 9780444702265. Search in Google Scholar

[3] John Horton Conway. On Numbers and Games. A K Peters Ltd., Natick, MA, second edition, 2001. ISBN 1-56881-127-6. Search in Google Scholar

[4] Philip Ehrlich. Conway names, the simplicity hierarchy and the surreal number tree. Journal of Logic and Analysis, 3(1):1–26, 2011. doi:10.4115/jla.2011.3.1. Search in Google Scholar

[5] Philip Ehrlich. The absolute arithmetic continuum and the unification of all numbers great and small. The Bulletin of Symbolic Logic, 18(1):1–45, 2012. doi:10.2178/bsl/1327328438. Search in Google Scholar

[6] Philp Ehrlich. Number systems with simplicity hierarchies: A generalization of Conway’s theory of surreal numbers. Journal of Symbolic Logic, 66(3):1231–1258, 2001. doi:10.2307/2695104. Search in Google Scholar

[7] Sebastian Koch. Natural addition of ordinals. Formalized Mathematics, 27(2):139–152, 2019. doi:10.2478/forma-2019-0015. Search in Google Scholar

[8] Karol Pąk. Stirling numbers of the second kind. Formalized Mathematics, 13(2):337–345, 2005. Search in Google Scholar

[9] Karol Pąk. Conway numbers – formal introduction. Formalized Mathematics, 31(1): 193–203, 2023. doi:10.2478/forma-2023-0018. Search in Google Scholar

[10] Dierk Schleicher and Michael Stoll. An introduction to Conway’s games and numbers. Moscow Mathematical Journal, 6:359–388, 2006. doi:10.17323/1609-4514-2006-6-2-359-388. Search in Google Scholar