Totalising Partial Algebras
Teams and Splinters
DOI:
https://doi.org/10.36285/tm.57Abstract
We will examine totalising a partial operation in a general algebra by using an absorbtive element, bottom, such as an error flag. We then focus on the simplest example of a partial operation, namely subtraction on the natural numbers: n - m is undefined whenever n < m. We examine the use of bottom in algebraic structures for the natural numbers, especially semigroups and semirings. We axiomatise this totalisation process and introduce the algebraic concept of a team, being an additive cancellative semigroup with totalised subtraction. Also, with the natural numbers in mind, we introduce the property of being generated by an iterative function, which we call a splinter. We prove a number of theorems about the algebraic specification of datatypes of natural numbers.
References
J.A. Anderson, N. Völker, and A. A. Adams. Perspecx Machine VIII, axiomsof transreal arithmetic. In J. Latecki, D. M. Mount and A. Y. Wu (editors) Vision Geometry XV, (2007).
Steve Awodey. Structuralism, invariance, and univalence. Philosophia Mathematica22 (1), 1-11, (2014).
Paul Benacerraf. What numbers could not be. The Philosophical Review 74(1), 47–73, (1965).
J.A. Bergstra. Division by zero, a survey of options. Transmathematica 2019, (published 2019-06-25).
J.A. Bergstra. Sumterms, summands, sumtuples, and sums and the meta-arithmetic of summation. Scientific Annals of Computer Science, 30 (2),167–203, (2020).
J.A. Bergstra, I. Bethke. Subvarieties of the variety of meadows. Scientific Annals of Computer Science.27 (1), 1–18, (2017).
J.A. Bergstra, Y. Hirshfeld, and J.V. Tucker. Meadows and the equational specification of division. Theoretical Computer Science, 410 (12), 1261–1271, (2009).
J.A. Bergstra and C.A. Middelburg. Inversive meadows and divisive meadows. Journal of Applied Logic, 9 (3), 203–220, (2011).
J.A. Bergstra and A. Ponse. Division by zero in common meadows. In R. de Nicola and R. Hennicker (editors), Software, Services, and Systems (Wirsing Festschrift), Lecture Notes in Computer Science 8950, 46-61 (2015).
J.A. Bergstra and J.V. Tucker. Equational specifications, complete term rewriting systems, and computable and semi-computable algebras. Journalof the ACM, 42 (6), 1194–1230, (1995).
J.A. Bergstra and J.V. Tucker. The rational numbers as an abstract datatype. Journal of the ACM, 54 (2), Article 7 (2007).[12] J.A. Bergstra and J.V. Tucker. Transrational numbers as an abstract datatype. Transmathematica 2020.
J.A. Bergstra and J.V. Tucker. The wheel of rational numbers as an abstract data type. In P. James and M. Roggenbach (editors), Workshop on Algebraic Development Techniques, Lecture Notes in Computer Science 12669, 1-18, (2021).
J. Carlström. Wheels – On division by zero. Mathematical Structures in Computer Science, 14 (1), 143–184, (2004).
T.S. dos Reis, W. Gomide, and J.A.D.W. Anderson. Construction of thetransreal numbers and algebraic transfields. IAENG International Journal of Applied Mathematics, 46 (1), 11–23, (2016).
H. D. Ehrich, M. Wolf, and J. Loeckx. Specification of Abstract Data Types.Vieweg & Teubner, (1997).
Martha I.F. Fandino Pinilla. Fractions: conceptual and didactic aspects. Acta Didactica Universitatis Comenianae, 7, 82–115, (2007).
Kleene’s three valued logics and their children. Fundamenta Informaticae, 20, (1-3), 113-131, (1994).
J. D. Godino et al. Why is the learning of elementary arithmetic concepts difficult? Semiotic tools for understanding the nature of mathematical objects. Educational Studies in Mathematics, 77, 247–265 (2011).
Christoph Haase. A survival guide to Presburger arithmetic. ACM SIGLOGNews, 5 (3), 67–81, (2018).
J. Heering. Partial evaluation and the ω-completeness of algebraic specifications. Theoretical Computer Science, 43, 149-167, (1986).
S. C. Kleene.Introduction to metamathematics. North-Holland Pub. Co., Amsterdam (1952).
Susan J. Lamon. Teaching fractions and ratios for understanding – Essential content knowledge and instructional strategies for teachers.Routledge,1999. (Third Edition 2012.)
Y. Manin. A course in mathematical logic. Springer, (1977). (Second Edition 2010.)
H. Michiwaki, S. Saitoh, and N. Yamada. Reality of the division by zero z/0 = 0. International Journal of Applied Physics and Mathematics, 6, 1–8,(2016).
H. Ono. Equational theories and universal theories of fields. Journal of theMathematical Society of Japan, 35 (2), 289-306, (1983)
D. S. Scott. Data types as lattices. SIAM Journal on Computing, 5, 522–587, (1976).
A. Setzer. Wheels, Unpublished draft, (1997).
J. V. Tucker and J. I. Zucker. Program correctness over abstract data typeswith error-state semantics. North-Holland Pub. Co., Amsterdam (1988).
J. S. Ullian. Splinters of recursive functions .Journal of Symbolic Logic, 25(1) 33–38, (1960).
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 Jan Aldert Bergstra, John V. Tucker
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.
