2000 character limit reached
Subvarieties of the variety of meadows (1510.04021v4)
Published 14 Oct 2015 in math.RA and cs.LO
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.