Differential Meadows
From MaRDI portal
Publication:6209224
arXiv0804.3336MaRDI QIDQ6209224FDOQ6209224
Authors: J. A. Bergstra, Alban Ponse 
Publication date: 21 April 2008
Abstract: 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.
This page was built for publication: Differential Meadows
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6209224)
