arXiv:1812.00051 [math.LO]AbstractReferencesReviewsResources The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations Jean S. Joseph Published 2018-11-30Version 1 We define a multiplication on the surreal numbers as higher inductive-inductive types. Categories: math.LO Keywords: surreal numbers, ordered commutative ring, univalent foundations, development Related articles: Most relevant | Search more arXiv:1711.01477 [math.LO] (Published 2017-11-04) An introduction to univalent foundations for mathematicians Daniel R. Grayson arXiv:1503.00315 [math.LO] (Published 2015-03-01) Surreal numbers, derivations and transseries Alessandro Berarducci, Vincenzo Mantova arXiv:1512.02267 [math.LO] (Published 2015-12-07) The surreal numbers as a universal H-field Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven Links Abstract on arXiv.org View preprint PDF Download TeX source Export citation in BibTeX Save eprint metadata as JSON Toolbox Post your review for this article Attach supplementary resources Edit our extended metadata Share this article on social media FacebookGoogle+LinkedInRedditTwitterVK Scan the QR code for this page
![QR code for arXiv:1812.00051 [math.LO]](http://oss.arxitics.com/images/favicon.svg)