Interpretability of the Cantor varieties
From MaRDI portal
Publication:1918794
DOI10.1007/BF00739410zbMath0849.08007MaRDI QIDQ1918794
Publication date: 21 July 1996
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187739
dimension; basis; interpretability; strong Mal'tsev conditions; Cantor variety; Mal'tsev theory; SC-theory
08B05: Equational logic, Mal'tsev conditions
03C05: Equational classes, universal algebra in model theory
Cites Work