19 citations · 81 across the 20 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
math.LO2015★ 1 cited
Flexible constraint satisfiability and a problem in semigroup theory
Marcel Jackson
We examine some flexible notions of constraint satisfaction, observing some relationships between model theoretic notions of universal Horn class membership and robust satisfiabili…
math.LO2015★ 3 cited
Infinite irredundant equational axiomatisability for a finite monoid
Marcel Jackson
It is shown that a finite monoid can have an infinite irredundant basis of equations.