Hyperidentities of quasilinear clones on the three-element set. (Q483443): Difference between revisions

A formula is called distinguishing two clones, whenever this formula is true in one of them but is false in the other. A function is called uncreative if the substitution of an arbitrary quasilinear function into it can not increase the number of essential variables. Otherwise, the function is creative. The clones of quasilinear functions on the set \(\{1,2,3\}\) with values in \(\{0,1\}\) are considered. In this paper distinguishing second order formula for every pair of nonisomorphic clones of quasilinear functions without creative function is found.