Surreal numbers: a study of square roots

DOI10.2478/FORMA-2025-0001MaRDI QIDQ6859025zbMATH OpenFDO

Authors Karol Pąk

Publication date 12 February 2026

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/FORMA-2025-0001

zbMATH Keywords

Conway's gamesquare rootsurreal number

Mathematics Subject Classification ID

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

Cites work

• A general formulation of simultaneous inductive-recursive definitions in type theory
• An introduction to Conway's games and numbers
• Conway numbers -- formal introduction
• Conway's mathematics after Conway
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 3957253 (Why is no real title available?)
• scientific article; zbMATH DE number 4006367 (Why is no real title available?)
• scientific article; zbMATH DE number 3521878 (Why is no real title available?)
• scientific article; zbMATH DE number 1568491 (Why is no real title available?)
• Integration of game theoretic and tree theoretic approaches to Conway numbers
• Integration on the surreals
• Inverse element for surreal number
• Partizan Games in Isabelle/HOLZF
• Surreal substructures
• The Isabelle Framework
• The ring of Conway numbers in Mizar
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Types for Proofs and Programs

This page was built for publication: Surreal numbers: a study of square roots

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