2 papers
math.LO2026
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
Lucy Ham, Marcel Jackson
We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety…
math.LO2026
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…