On closed sets of relational constraints and classes of functions closed under variable substitutions

Miguel Couceiro; Stephan Foldes

On closed sets of relational constraints and classes of functions closed under variable substitutions

Logic 2015-08-10 v1 Combinatorics

Authors: Miguel Couceiro , Stephan Foldes

Abstract

Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$ , where any or both of $A$ and $B$ may be finite or infinite.

Keywords

Galois theory relational constraints function classes variable substitutions closed sets infinite domains clone theory

Cite

@article{arxiv.1508.01558,
  title  = {On closed sets of relational constraints and classes of functions closed under variable substitutions},
  author = {Miguel Couceiro and Stephan Foldes},
  journal= {arXiv preprint arXiv:1508.01558},
  year   = {2015}
}

Comments

arXiv admin note: text overlap with arXiv:0810.3212

On closed sets of relational constraints and classes of functions closed under variable substitutions

Abstract

Keywords

Cite

Comments

Related papers