Fracterm Calculus for Signed Common Meadows

Jan Aldert Bergstra, John V Tucker — Fri, 14 Jun 2024 00:00:00 -0700

A common meadow is an enrichment of a field with a division operator and an error value to make division total. A signed common meadow enriches a common meadow with a sign function that can be equationally axiomatised; the sign function can simulate an ordering on the underlying field but is not limited to orderings. In particular, of mathematical interest are the weakly signed common meadows. The prime example of a weakly signed common meadow is an expansion of a common meadow of complex numbers with a weak sign function. We show that all common meadows may be enlarged to a weakly signed common meadow. A special case is the 4-signed common meadows, which are precisely the enlargements of ordered fields. To illustrate the equational calculus for signed common meadows, we use it as a foundation for building a probability calculus and derive some classical formulae.

Transmathematica

Fracterm Calculus for Signed Common Meadows