Journal article 151 views 28 downloads
Fracterm Calculus for Signed Common Meadows
Transmathematica, Volume: 2024
Swansea University Author:
John Tucker
-
PDF | Version of Record
Copyright 2024 Jan Aldert Bergstra, John V Tucker. This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Download (394.45KB)
DOI (Published version): 10.36285/tm.97
Abstract
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 lim...
| Published in: | Transmathematica |
|---|---|
| ISSN: | 2632-9212 |
| Published: |
Transmathematica
2024
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa66862 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
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 ofcomplex numbers with a weak sign function. We show that all common meadows may be enlarged to a weakly signed common meadow. A special case are 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. |
|---|---|
| Keywords: |
quational calculus, fracterm calculus, ordered fields, common meadow, sign function, equational specification, initial algebra semantics |
| College: |
Faculty of Science and Engineering |