Conway numbers -- formal introduction
From MaRDI portal
Publication:6557120
DOI10.2478/FORMA-2023-0018zbMATH Open1540.68293MaRDI QIDQ6557120
Publication date: 18 June 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
Combinatorial games (91A46) Nonstandard models in mathematics (03H05) Ordered fields (12J15) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Prime representing polynomial
- Number systems with simplicity hiearchies: A generalization of Conway's theory of surreal numbers
- Conway's games and some of their basic properties
- Partizan Games in Isabelle/HOLZF
- A general formulation of simultaneous inductive-recursive definitions in type theory
- The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
- Quantifier elimination in the theory of Lp(Lq)-Banach lattices
- Types for Proofs and Programs
- Prime representing polynomial with 10 unknowns
Related Items (2)
Integration of game theoretic and tree theoretic approaches to Conway numbers ⋮ The ring of Conway numbers in Mizar
This page was built for publication: Conway numbers -- formal introduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6557120)
