Subvarieties of the Variety of Meadows

DOI10.7561/SACS.2017.1.1zbMATH Open1424.68095arXiv1510.04021MaRDI QIDQ4621209FDOQ4621209

J. A. Bergstra, Inge Bethke

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1510.04021

zbMATH Keywords

varietyvon Neumann regular ringalgebraic specificationequational logicdata typemeadowexpansion field

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Partial arithmetical data types of rational numbers and their equational specification
• Transformation of fractions into simple fractions in divisive meadows

   Recommendations

• Inversive meadows and divisive meadows 👍 👎
• Varieties 👍 👎
• Distinguished varieties 👍 👎
• Branches of a variety along a subvariety from topological point of view 👍 👎
• Discriminating varieties 👍 👎
• Varieties with small discriminant variety 👍 👎
• Supervarieties of small graded colength. 👍 👎
• Legendrian varieties 👍 👎
• The initial meadows 👍 👎

This page was built for publication: Subvarieties of the Variety of Meadows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621209)