×

Function classes and relational constraints stable under compositions with clones. (English) Zbl 1203.06005

Summary: The general Galois theory for functions and relational constraints over arbitrary sets described in the authors’ previous paper is refined by imposing algebraic conditions on relations.

MSC:

06A15 Galois correspondences, closure operators (in relation to ordered sets)
06E30 Boolean functions
08A02 Relational systems, laws of composition
08A40 Operations and polynomials in algebraic structures, primal algebras
PDF BibTeX XML Cite
Full Text: DOI arXiv