4 problems

Tractability conjecture. If $\mathfrak{B}$ does not pp-construct $(\{0,1\};\operatorname{NAE})$, then

Siggers-behavior conjecture. Dropping the requirement that ${\bf A}$ has all $1$-cycles should yield a necessary and sufficient condition for solvability of…

Finite representation property conjecture. The signature $\tau$ has the finite representation property if and only if

Let $A$ be a finite integral relation algebra (RA), and suppose that $A$ has a flexible atom. A relation algebra is representable over a finite cyclic group if it embeds into a Com…