Differential Meadows
Rings and Algebras
2009-02-07 v1 Logic in Computer Science
Commutative Algebra
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.
Keywords
Cite
@article{arxiv.0804.3336,
title = {Differential Meadows},
author = {Jan A. Bergstra and Alban Ponse},
journal= {arXiv preprint arXiv:0804.3336},
year = {2009}
}
Comments
8 pages, 2 tables