Abstract:We explore new interactions between finite model theory and a number of classical streams of universal algebra and semigroup theory. A key result is an example of a finite algebra whose variety is not finitely axiomatisable in first order logic, but which has first order definable finite membership problem. This algebra witnesses the simultaneous failure of the Łos-Tarski Theorem, the SP-preservation theorem and Birkhoff's HSP-preservation theorem at the finite level as well as providing a negative solution to a first order formulation of the long-standing Eilenberg Schützenberger problem. The example also shows that a pseudovariety without any finite pseudo-identity basis may be finitely axiomatisable in first order logic. Other results include the undecidability of deciding first order definability of the pseudovariety of a finite algebra and a mapping from any fixed template constraint satisfaction problem to a first order equivalent variety membership problem, thereby providing examples of variety membership problems complete in each of the classes $\texttt{L}$, $\texttt{NL}$, $\texttt{Mod}_p(\texttt{L})$, $\texttt{P}$, and infinitely many others (depending on complexity-theoretic assumptions).

Universal models and definability

Universal properties of truth

Profiniteness, Monadicity and Universal Models in Modal Logic

Formal model theory and higher topology

Implicative models of set theory

Definability in affine continuous logic

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

Ultraproducts in abstract categorical logic

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Proof-theoretic methods in quantifier-free definability

Undefinability and Absolute Undefinability in Arithmetic

Massive star formation in 100,000 years from turbulent and pressurized molecular clouds

Zilber's notion of logically perfect structure: Universal Covers

Completeness in local positive logic

From Consequence Operator to Universal Logic: A Survey of General Abstract Logic

Strict universes for Grothendieck topoi

A model theory of topology

Models of transfinite provability logic

Model Theory for Real-valued Structures

Existentially closed models and locally zero-dimensional toposes