Simple Equational Specifications of Rational Arithmetic
We exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an error...
Main Author: | Lawrence S. Moss |
---|---|
Format: | Article |
Language: | English |
Published: |
Discrete Mathematics & Theoretical Computer Science
2001-01-01
|
Series: | Discrete Mathematics & Theoretical Computer Science |
Subjects: | |
Online Access: | https://dmtcs.episciences.org/280/pdf |
Similar Items
-
Arithmetics in β-numeration
by: Julien Bernat
Published: (2007-01-01) -
Determinants of rational knots
by: Louis H. Kauffman, et al.
Published: (2009-01-01) -
Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation
by: Philippe Dumas, et al.
Published: (2007-01-01) -
The extended equivalence and equation solvability problems for groups
by: Gabor Horvath, et al.
Published: (2011-11-01) -
Ore and Erdős type conditions for long cycles in balanced bipartite graphs
by: Janusz Adamus, et al.
Published: (2009-01-01)