No Cover Image

Journal article 3 views

Fracterm Calculus for Signed Common Meadows

John Tucker Orcid Logo

TRANSMATHEMATICA, Volume: 2024

Swansea University Author: John Tucker Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): https://doi.org/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...

Full description

Published in: TRANSMATHEMATICA
Published: 2024
URI: https://cronfa.swan.ac.uk/Record/cronfa66862
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2024-07-06T17:44:28Z
last_indexed 2024-07-06T17:44:28Z
id cronfa66862
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>66862</id><entry>2024-06-23</entry><title>Fracterm Calculus for Signed Common Meadows</title><swanseaauthors><author><sid>431b3060563ed44cc68c7056ece2f85e</sid><ORCID>0000-0003-4689-8760</ORCID><firstname>John</firstname><surname>Tucker</surname><name>John Tucker</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2024-06-23</date><deptcode>MACS</deptcode><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.</abstract><type>Journal Article</type><journal>TRANSMATHEMATICA</journal><volume>2024</volume><journalNumber/><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic/><keywords>quational calculus, fracterm calculus, ordered fields, common meadow, sign function, equational specification, initial algebra semantics</keywords><publishedDay>14</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2024</publishedYear><publishedDate>2024-06-14</publishedDate><doi>https://doi.org/10.36285/tm.97</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm>Other</apcterm><funders/><projectreference/><lastEdited>2024-07-06T18:44:30.0179352</lastEdited><Created>2024-06-23T18:31:23.3045477</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2"/></path><authors><author><firstname>John</firstname><surname>Tucker</surname><orcid>0000-0003-4689-8760</orcid><order>1</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling v2 66862 2024-06-23 Fracterm Calculus for Signed Common Meadows 431b3060563ed44cc68c7056ece2f85e 0000-0003-4689-8760 John Tucker John Tucker true false 2024-06-23 MACS 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. Journal Article TRANSMATHEMATICA 2024 quational calculus, fracterm calculus, ordered fields, common meadow, sign function, equational specification, initial algebra semantics 14 6 2024 2024-06-14 https://doi.org/10.36285/tm.97 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University Other 2024-07-06T18:44:30.0179352 2024-06-23T18:31:23.3045477 Faculty of Science and Engineering John Tucker 0000-0003-4689-8760 1
title Fracterm Calculus for Signed Common Meadows
spellingShingle Fracterm Calculus for Signed Common Meadows
John Tucker
title_short Fracterm Calculus for Signed Common Meadows
title_full Fracterm Calculus for Signed Common Meadows
title_fullStr Fracterm Calculus for Signed Common Meadows
title_full_unstemmed Fracterm Calculus for Signed Common Meadows
title_sort Fracterm Calculus for Signed Common Meadows
author_id_str_mv 431b3060563ed44cc68c7056ece2f85e
author_id_fullname_str_mv 431b3060563ed44cc68c7056ece2f85e_***_John Tucker
author John Tucker
author2 John Tucker
format Journal article
container_title TRANSMATHEMATICA
container_volume 2024
publishDate 2024
institution Swansea University
doi_str_mv https://doi.org/10.36285/tm.97
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
document_store_str 0
active_str 0
description 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.
published_date 2024-06-14T18:44:28Z
_version_ 1803852572449046528
score 11.01438

Similar Items