Cancellation Meadows: a Generic Basis Theorem and Some Applications
From MaRDI portal
Publication:6208922
DOI10.1093/COMJNL/BXS028arXiv0803.3969MaRDI QIDQ6208922FDOQ6208922
Inge Bethke, J. A. Bergstra, Alban Ponse
Publication date: 27 March 2008
Abstract: Let Q_0 denote the rational numbers expanded to a "meadow", that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "cancellation meadows", i.e., meadows without proper zero divisors, such as and prove a generic completeness result. We apply this result to cancellation meadows expanded with differentiation operators, the sign function, and with floor, ceiling and a signed variant of the square root, respectively. We give an equational axiomatization of these operators and thus obtain a finite basis for various expanded cancellation meadows.
This page was built for publication: Cancellation Meadows: a Generic Basis Theorem and Some Applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6208922)
