Integration of game theoretic and tree theoretic approaches to Conway numbers

DOI10.2478/FORMA-2023-0019MaRDI QIDQ6557121zbMATH OpenFDO

Authors Karol Pąk

Publication date 18 June 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2023-0019

zbMATH Keywords

Conway's gameMizarsurreal numbers

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Ordered fields (12J15) Formalization of mathematics in connection with theorem provers (68V20) Combinatorial games (91A46)

Recommendations

• Conway's games and some of their basic properties
• An introduction to Conway's games and numbers
• Conway numbers -- formal introduction
• Number systems with simplicity hiearchies: A generalization of Conway's theory of surreal numbers
• scientific article; zbMATH DE number 1795228

Cites work

• An introduction to Conway's games and numbers
• Conway names, the simplicity hierarchy and the surreal number tree
• Conway numbers -- formal introduction
• scientific article; zbMATH DE number 4006367 (Why is no real title available?)
• scientific article; zbMATH DE number 1568491 (Why is no real title available?)
• Natural addition of ordinals
• Number systems with simplicity hiearchies: A generalization of Conway's theory of surreal numbers
• The absolute arithmetic continuum and the unification of all numbers great and small

Cited in

(7)

• Conway numbers -- formal introduction
• The ring of Conway numbers in Mizar
• Conway's normal form in the Mizar system
• Surreal dyadic and real numbers: a formal construction
• Surreal numbers: a study of square roots
• Conway normal form: bridging approaches for comprehensive formalization of surreal numbers
• Inverse element for surreal number

This page was built for publication: Integration of game theoretic and tree theoretic approaches to Conway numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6557121)