Применения предполных нумераций к степеням табличного типа и индексным множествам В.Л. Селиванов (1989) Algebra i Logika
Проблема вхождения в третий коммутант для разрешимых групп И.В. Латкин (1998) Sibirskij matematiceskij zurnal
Проблема описания автоустойчивых моделей О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997) Algebra i Logika
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей Ю.Г. Венцов (1992) Algebra i Logika
Равномерность в теории вычислимых структур Р. Доуни, Д. Хиршвельд, Б. Хусаинов (2003) Algebra i Logika
Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями. С.Т. Федоряев, S. T. Fedorjaev, S. T. Fedorǎev, S. T. Fedorjaev (1995) Algebra i Logika
Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры. С.П. Одинцов (1986) Algebra i Logika
Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий С.Л. Шохор, S. L. Šochor, S. L. Šohor, S. L. Šochor (1995) Algebra i Logika
Сильная 94 1 -определимость модели в допустимом множестве А.Н. Хисамиев (1998) Sibirskij matematiceskij zurnal
Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем В.П. Добрица (1986) Sibirskij matematiceskij zurnal
Спектры степеней для отношений на булевых алгебрах С.С. Гончаров, Р. Доуни, Д. Хиршвельд (2003) Algebra i Logika