Differential Meadows
| dc.creator | Bergstra, Jan A. | |
| dc.creator | Ponse, Alban | |
| dc.date | 2008-04-21 | |
| dc.date.accessioned | 2026-07-07T12:38:24Z | |
| dc.date.available | 2026-07-07T12:38:24Z | |
| dc.description | A meadow is a zero totalised field (0^{-1}=0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equipped with differentiation operators. We give an equational axiomatization of these operators and thus obtain a finite basis for differential cancellation meadows. Using the Zariski topology we prove the existence of a differential cancellation meadow. | |
| dc.description | 8 pages, 2 tables | |
| dc.identifier | https://arxiv.org/abs/0804.3336 | |
| dc.identifier | http://arxiv.org/abs/0804.3336 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/218748 | |
| dc.subject | Rings and Algebras | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Commutative Algebra | |
| dc.subject | AC; RA | |
| dc.title | Differential Meadows | |
| dc.type | text |