1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2018
The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations
Jean S. Joseph
We define a multiplication on the surreal numbers as higher inductive-inductive types.
math.LO2018
On Generalized Ordered Sets: A constructive development
Jean S. Joseph
We propose a notion of a generalized order, which can be used for the notion of a strict partial order. We introduce a weak order to replace the usual weak order defined from a str…
math.LO2018★ 1 cited
Axioms for the Real Numbers: A Constructive Approach
Jean S. Joseph
We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.