arXiv Open Access 2018

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

Jean S. Joseph

Lihat Sumber

Abstrak

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

Topik & Kata Kunci

math.LO

Penulis (1)

Jean S. Joseph

Format Sitasi

APA MLA BibTeX

Joseph, J.S. (2018). The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations. https://arxiv.org/abs/1812.00051

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2018
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓