Two Definability Results in the Equational Context

DOI10.2307/2048033zbMath0684.03011OpenAlexW4233557379MaRDI QIDQ4733856

Ralph McKenzie, Michel Hebert, George E. Weaver

Publication date: 1989

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2048033

zbMATH Keywords

equational logicdefinability

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Axiomatic model classes (08C10) Interpolation, preservation, definability (03C40)

Related Items (3)

A note on definability in equational logic ⋮ On the fullness of certain functors ⋮ Zero-place operations and functional completeness, and the definition of new connectives

This page was built for publication: Two Definability Results in the Equational Context