Performing calculations modulo a set of relations is a basic technique in algebra. For instance, computing the inverse of an integer modulo a prime integer or computing the inverse of the complex number 3 + 2<i>t</i> modulo the relation ℓ<sup>2</sup> + ...
The paper provides variety-based extensions of the concepts of (lattice-valued) interchange system and space, introduced by Denniston, Melton and Rodabaugh, and shows that variety-based interchange systems incorporate topological systems of Vickers, ...
We study a countable class of real-valued functions inductively defined from a basic set of trivial functions by composition, solving first-order differential equations and the taking of infinite limits. This class is the analytical counterpart of ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in