24 citations · 51 across the 16 of their papers we have counts for
Showing 2015 · math.RAShow all
2 papers · 2 filters
math.RA2015
Deciding absorption
Libor Barto, Alexandr Kazda
We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subse…
math.RA2015★ 1 cited
Absorption and directed Jónsson terms
Alexandr Kazda, Marcin Kozik, Ralph McKenzie +1
We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witnes…