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…