Об инвариантных классах функций, бесповторно выразимых формулами

Показано, что мощность множества инвариантных классов функций 2-значной логики, бесповторно выразимых формулами в фиксированном полном конечном базисе, счетна; доказана возможность описания этих классов с помощью запрещённых подфункций и контекстно-свободных грамматик. Для каждого $k>2$ приведён пример конечного базиса в $k$-значной логике, для которого мощность множества таких классов равна континууму.
Библиогр. 3.