1 problem

0 votes0 replies0 views
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…
Conjectureopenconstraint-satisfaction mal-tsev-embeddings non-redundancyarXiv posted 2 days ago

Finite Mal'tsev embedding conjecture for finite-domain predicates