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