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