On equational definability of function classes
Résumé
We propose a notion of functional equation for functions of a fixed arity, which is based on a pair of clones. We present necessary conditions for aclass of functions to be definable by such equations, and show that for certain choices of clones these conditions are also sufficient.
Domaines
Mathématiques [math]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...