Аналогии теоремы Райса для семантических классов предложений

Найдены некоторые оценки сложности, которые представляют собой аналоги теоремы Райса для семантических классов предложений. Полученные результаты развивают и наполняют конкретным содержанием феномен выразительности формул классической логики предикатов.