作为带非等关系的有序交换环的 surreal 数：一致基础中的发展
逻辑
2018-12-04 v1
摘要
我们将 surreal 数上的乘法定义为高阶归纳-归纳类型。
引用
@article{arxiv.1812.00051,
title = {The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations},
author = {Jean S. Joseph},
journal= {arXiv preprint arXiv:1812.00051},
year = {2018}
}