A Birkhoff theorem for partial algebras via completion
From MaRDI portal
Publication:2563763
DOI10.1007/BF00122685zbMath0863.08006MaRDI QIDQ2563763
Publication date: 3 June 1997
Published in: Applied Categorical Structures (Search for Journal in Brave)
varietyBirkhoff theorempartial algebraclosed homomorphismMal'tsev theorydht-symmetric functorsfunctorial algebrasone-point completion
Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Partial algebras (08A55)
Related Items
Cites Work