Subvarieties of the variety of meadows
Jan A. Bergstra, Inge Bethke

TL;DR
This paper investigates subvarieties of meadows, which are commutative rings with a total inversion, by extending their axioms and expanding their signatures to better understand their algebraic structure.
Contribution
It introduces new subvarieties of meadows through extended axioms and signatures, advancing the algebraic theory of these structures.
Findings
Identification of new subvarieties within the meadow variety
Extension of axioms leads to richer algebraic structures
Enhanced understanding of total inversion in commutative rings
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · semigroups and automata theory · Rough Sets and Fuzzy Logic
