On closed sets of relational constraints and classes of functions closed under variable substitutions
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2015
- DOI:
- 10.48550/arXiv.1508.01558
- arXiv:
- arXiv:1508.01558
- Bibcode:
- 2015arXiv150801558C
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Combinatorics
- E-Print:
- arXiv admin note: text overlap with arXiv:0810.3212