Affiliation:
1. Faculty of Computer Science , University of Białystok , Poland
Abstract
Summary
In this article, we develop our formalised concept of Conway numbers as outlined in [9]. We focus mainly pre-order properties, birthday arithmetic contained in the Chapter 1, Properties of Order and Equality of John Conway’s seminal book. We also propose a method for the selection of class representatives respecting the relation defined by the pre-ordering in order to facilitate combining the results obtained for the original and tree-theoretic definitions of Conway numbers.
Reference10 articles.
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.
2. Norman L. Alling. Foundations of Analysis Over Surreal Number Fields. Number 141 in Annals of Discrete Mathematics. North-Holland, 1987. ISBN 9780444702265.
3. John Horton Conway. On Numbers and Games. A K Peters Ltd., Natick, MA, second edition, 2001. ISBN 1-56881-127-6.
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.
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.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Ring of Conway Numbers in Mizar;Formalized Mathematics;2023-09-01