Subvarieties of the Variety of Meadows

DOI10.7561/SACS.2017.1.1MaRDI QIDQ4621209zbMATH OpenFDO

Authors J. A. Bergstra, Inge Bethke

Publication date 8 February 2019

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

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)

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.

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

Cited in

(5)

• Partial arithmetical data types of rational numbers and their equational specification
• Transformation of fractions into simple fractions in divisive meadows
• Straight-line instruction sequence completeness for total calculation on cancellation meadows
• The structure of finite meadows
• Equations for formally real 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)