О темпах роста структур с конечным числом существенных ограничений

Для конечного множества $A$ с заданным на нём множеством операций $M$ определена функция, называемая темпом роста. Порядок роста этой функции характеризует силу и исчислимость множества операций. Показано, что если среди множества всех предикатов, сохраняемых всеми функциями из $M$, встречается лишь конечное число важных существенных предикатов, то темп роста пары $(A, M)$ имеет логарифмический порядок.