Subvarieties of the Variety of Meadows
Jan Aldert Bergstra, Inge Bethke · Scientific Annals of Computer Science · 2017
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.