This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
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
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
Heinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, (1). Springer, Berlin, 2., neubearb. aufl. edition, 1967.Search in Google Scholar
Chad E. Brown and Karol Pąk. A tale of two set theories. In Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, and Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics – 12th International Conference, CICM 2019, CIIRC, Prague, Czech Republic, July 8-12, 2019, Proceedings, volume 11617 of Lecture Notes in Computer Science, pages 44–60. Springer, 2019. doi:10.1007/978-3-030-23250-4_4.Search in Google Scholar
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
Oliver Deiser. Einführung in die Mengenlehre: die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. Springer, Berlin, 2., verb. und erw. aufl. edition, 2004. ISBN 3-540-20401-6.Search in Google Scholar
Sebastian Koch. Natural addition of ordinals. Formalized Mathematics, 27(2):139–152, 2019. doi:10.2478/forma-2019-0015.Search in Google Scholar
Karol Pąk. Conway numbers – formal introduction. Formalized Mathematics, 31(1): 193–203, 2023. doi:10.2478/forma-2023-0018.Search in Google Scholar
Karol Pąk. Integration of game theoretic and tree theoretic approaches to Conway numbers. Formalized Mathematics, 31(1):205–213, 2023. doi:10.2478/forma-2023-0019.Search in Google Scholar
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