Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity

zbMatharXiv:2212.02653MaRDI QIDQ6507243

Marcel Jackson, Lucy Ham

Publication date: 1 January 1

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Subdirect products and subdirect irreducibility (08B26) Descriptive complexity and finite models (68Q19)

This page was built for publication: Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity