1 problem

Finite Mal'tsev embedding conjecture for finite-domain predicates
Finite Mal'tsev embedding conjecture. Any predicate over a finite domain with an infinite Mal'tsev embedding also has a finite Mal'tsev embedding. In particular, any predicate with…
openFrom papersconstraint-satisfaction mal-tsev-embeddings non-redundancy
0 responses
6

Finite Mal'tsev embedding conjecture for finite-domain predicates