Целью проекта является нахождение глобальных инвариантов, показывающих существенное различие алгебраических свойств полурешеток Роджерса семейств вычислимо перечислимых множеств, семейств разностей вычислимо перечислимых множеств и семейств множеств иерархии Ершова из более высоких ее уровней. К таким инвариантам относятся спектр числа минимальных элементов в полурешетках Роджерса и спектр мощностей полурешеток Роджерса.
