Complete systems of monadic predicates for post classes
S. V. Bykovskaya · Moscow University Mathematics Bulletin · 2016
The problem of completeness of arbitrary systems of monadic predicates defined on finite sets is considered. Completeness criteria are obtained for an arbitrary system of monadic predicates over arbitrary set of Boolean functions.