08 ноября 2017 г.
С. В. Судоплатов
Генерирующие классы и их ограничения.
25 октября 2017 г.
М. С. Шеремет
Двухэлементный частичный группоид без конечного базиса тождеств.
18 октября 2017 г.
М. С. Шеремет
Конгруэнц-характеризация слабых многообразий частичных алгебр.
11 октября 2017 г.
Д. Ю. Емельянов реферирует статью:
Samuel M. Corson,
Limiting theories of substructures (продолжение).
4 октября 2017 г.
Д. Ю. Емельянов реферирует статью:
Samuel M. Corson, Limiting theories of substructures.
17 мая 2017 г.
А. В. Кравченко, А. М. Нуракунов (Институт математики НАН КР), М. В. Швидефски
Сложность решеток квазимногообразий.
22 марта 2017 г.
Д. Ю. Емельянов, Б. Ш. Кулпешов, С. В. Судоплатов
Об алгебрах распределений бинарных изолирующих формул для вполне о-минимальных теорий.
15 марта 2017 г.
Д. Ю. Власов
Полнота и корректность алгоритма поиска доказательств в языке Russell. |