Subvarieties of the variety of meadows
Rings and Algebras
2017-12-05 v4 Logic in Computer Science
Abstract
Meadows - commutative rings equipped with a total inversion operation - can be axiomatized by purely equational means. We study subvarieties of the variety of meadows obtained by extending the equational theory and expanding the signature.
Keywords
Cite
@article{arxiv.1510.04021,
title = {Subvarieties of the variety of meadows},
author = {Jan A. Bergstra and Inge Bethke},
journal= {arXiv preprint arXiv:1510.04021},
year = {2017}
}
Comments
11 pages