Complete Characterization of Zero-expressible Functions
Robert Dąbrowski, Wojciech Plandowski · Fundamenta Informaticae · 2015
We describe an intersection of the family of expressible relations and another natural family of relations. This is the first result of this kind existing in the literature. To obtain it we extend a tool for proving nonexpressibility of languages to a tool for proving nonexpressibility of relations.