Fractions in Transrational Arithmetic
In transrational arithmetic each closed fraction may be written as a simple fraction. It is shown that unlike in involutive meadows, in transrational arithmetic open fractions cannot be written as a sum of simple fractions (i.e. fractions the numerator and denominator of which are polynomials). It is also not the case that each open fraction with a single variable can be written as a mixed fraction.
Copyright (c) 2020 Jan Aldert Bergstra
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors retain copyright and, if appropriate, performance rights but licence the journal to publish submissions. The lead author confirms that the submission is bound by the CC Attributtion Share Alike 4.0 licence.