Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
arXiv:2212.02653v4 Announce Type: replace-cross Abstract: We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result...