Проанализированы формулы DC, выражающие свойство кусочной постоянности (finite variability). Доказана элиминация кванторов для теории упорядоченной группы вещественных чисел. Получена характеризация теорий без свойства конечной покрываемости над множеством (nfcp) в терминах обогащения одноместным предикатом. Решена проблема Циглера - Казановы.
