Показана невозможность интерпретации языка спецификаций RAISE в логике предикатов первого порядка. Проведен анализ систем формул DC, выражающих свойства кусочной постоянности. Получена характеризация теорий без свойства конечной покрываемости над множеством (nfcp) в терминах обогащения одноместным предикатом.
