Solving Equation Systems in $\omega$-categorical Algebras

Manuel Bodirsky, Thomas Quinn-Gregson

We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $\omega$-categorical algebra $\mathfrak{A}$. There are $\omega$…