pith. sign in

arxiv: 1406.6344 · v2 · pith:GRIYBO3Cnew · submitted 2014-06-24 · 🧮 math.RA

Unique inclusions of maximal C-clones in maximal clones

classification 🧮 math.RA
keywords maximalclonesmathitclonerelationsuniqueappearedc-clones
0
0 comments X
read the original abstract

$\mathit{C}$-clones are polymorphism sets of so-called clausal relations, a special type of relations on a finite domain, which first appeared in connection with constraint satisfaction problems in [Creignou et al. 2008]. We completely describe the relationship w.r.t. set inclusion between maximal $\mathit{C}$-clones and maximal clones. As a main result we obtain that for every maximal $\mathit{C}$-clone there exists exactly one maximal clone in which it is contained. A precise description of this unique maximal clone, as well as a corresponding completeness criterion for $\mathit{C}$-clones is given.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.