Similar Items: An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
- Preservation theorems for Tarski's relation algebra
- On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
- Universal Algebraic Methods for Constraint Satisfaction Problems
- $aleph_1$ and the modal $mu$-calculus
- The categorical contours of the Chomsky-Schützenberger representation theorem
- On some categorical-algebraic conditions in S-protomodular categories