  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.
