The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A\n Development in Univalent Foundations

2018/11/30 by Jean S. Joseph, Joseph, Jean S.
Mathematics · #Rings, Modules, and Algebras #Algebraic Geometry and Number Theory #Advanced Topics in Algebra

paper · pdf · doi:10.48550/arxiv.1812.00051

Abstract

We define a multiplication on the surreal numbers as higher inductive-inductive types.

Related

• An algebraic (set) theory of surreal numbers, I
• Surreal numbers, exponentiation and derivations
• Surreal substructures
• Les nombres de Cuesta-Conway comme extension des ordinaux de Cantor: une courte introduction aux nombres surréels
• A clean way to separate sets of surreals