Non-covering in the interpretability lattice of equational theories
type: Item
instance of: scholarly article
title: Non-covering in the interpretability lattice of equational theories
zbMATH Open document ID: 0802.08004
DOI: 10.1007/BF01196089
author: Ralph McKenzie
author: Stanislaw Świerczkowski
published in: Algebra Universalis
publication date: 1994-12-12T00:00:00Z
review text: This is a very well-written paper, a delightful reading, even for people who are not familiar with the topic. The authors prove some results on balanced equational theories. As a corollary, they present a large class of equational theories which have no covering equational theories (up to equivalence of theories in a natural sense). To go into details would need quite a few definitions and observations. Instead I recommend to read this important paper.
Mathematics Subject Classification ID: 08B05
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 203146
zbMATH Keywords: interpretability lattice
zbMATH Keywords: balanced equation covering
zbMATH Keywords: balanced equational theories
reviewed by: Ervin Fried
MaRDI profile type: Publication
cites work: The lattice of interpretability types of varieties
cites work: On the covering relation in the interpretability lattice of equational theories
cites work: Interpretations of module varieties
cites work: Remarks and problems on a lattice of equational chapters
cites work: Some very weak identities
full work available at URL: https://doi.org/10.1007/bf01196089
OpenAlex ID: W2072957414
Recommended article: On the covering relation in the interpretability lattice of equational theories
Recommended article: Equational Reasoning in Non-Classical Logics
Recommended article: Q4345010
Recommended article: Quantifier-free interpolation in combinations of equality interpolating theories
Recommended article: Further properties of lattices of equational theories
Recommended article: Lattices of theories in languages without equality
Recommended article: A note on the interpretability logic of finitely axiomatized theories
Recommended article: Q4532124
Recommended article: Some Theorems on the Lattice of Local Interpretability Types
Recommended article: On equational theories, unification, and (un)decidability
description: scientific article; zbMATH DE number 203146