Meadow based Fracterm Theory
Abstract
Fracterms are introduced as a proxy for fractions. A precise definition of fracterms is formulated and on that basis reasonably precise definitions of various classes of fracterms are given. In the context of the meadow of rational numbers viewing fractions as fracterms provides an adequate theory of fractions. A very different view on fractions is that fractions are values, i.e. rational numbers. Fracterms are used to provide a range of intermediate definitions between these two definitions of fractions
Cite
@article{arxiv.1508.01334,
title = {Meadow based Fracterm Theory},
author = {Jan A. Bergstra},
journal= {arXiv preprint arXiv:1508.01334},
year = {2019}
}
Comments
The paper has been completely rewritten. Now 48 pages, additional references from educational literature are included. The title has been adapted in order to highlight the central position of fracterms, of which the definition of fractions is now considered an application