Subvarieties of the Variety of Meadows

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.

[1]  Joseph A. Goguen,et al.  Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[2]  Jan A. Bergstra,et al.  Inversive meadows and divisive meadows , 2009, J. Appl. Log..

[3]  Desmond Fearnley-Sander,et al.  Universal Algebra , 1982 .

[4]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  G. McNulty,et al.  Algebras, Lattices, Varieties , 1988, Mathematical Surveys and Monographs.

[6]  J. von Neumann,et al.  On Regular Rings. , 1936, Proceedings of the National Academy of Sciences of the United States of America.

[7]  Martin C. Henson,et al.  Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) , 2007 .

[8]  Dines Bjørner,et al.  Logics of Specification Languages , 2007, Monographs in Theoretical Computer Science. An EATCS Series.

[9]  Jan A. Bergstra,et al.  A negative result on algebraic specifications of the meadow of rational numbers , 2015, ArXiv.

[10]  Inge Bethke,et al.  The initial meadows , 2008, The Journal of Symbolic Logic.

[11]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[12]  Inge Bethke,et al.  The structure of finite meadows , 2009, J. Log. Algebraic Methods Program..

[13]  Jan A. Bergstra,et al.  The rational numbers as an abstract data type , 2007, JACM.

[14]  Jan A. Bergstra,et al.  Equations for formally real meadows , 2013, J. Appl. Log..

[15]  Wolfgang Wechler,et al.  Universal Algebra for Computer Scientists , 1992, EATCS Monographs on Theoretical Computer Science.

[16]  T. E. Hall,et al.  Identities for existence varieties of regular semigroups , 1989, Bulletin of the Australian Mathematical Society.

[17]  Yuichi Komori,et al.  Free Algebras over All Fields and Pseudo-fields , 1975 .