Найдены условия существования атомных моделей над множествами для некоторых классов суперстабильных теорий. Доказано существование семейства рекурсивно перечислимых множеств, для вычислимых нумераций которого не существует отношения ограниченной предельной эквивалентности. Изучены обобщенно вычислимые нумерации семейств арифметических множеств.
