Subvarieties of the Variety of Meadows

DOI10.7561/SACS.2017.1.1zbMath1424.68095arXiv1510.04021MaRDI QIDQ4621209

Jan 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

equational logicvarietyalgebraic specificationvon Neumann regular ringdata typemeadowexpansion field

Mathematics Subject Classification ID

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

Related Items (2)

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

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