Новости

Веб-почта

Ссылки

Карта сайта
Наука Семинары Архив заседаний семинара «Теория моделей» за 2017 г.

Архив:

2008
2009
2010
2011
2012
2013
2014
2015
2016
2017

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.

    © Федеральное государственное бюджетное учреждение науки
      Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук, 2009
 
пр. ак. Коптюга, 4, 630090, г. Новосибирск, Россия
Приемная: (383) 333-28-92; Канцелярия: (383) 333-27-93
Бухгалтерия: (383) 333-09-96; Отдел кадров: (383) 333-25-93
Факс: (383) 333-25-98; e-mail: im@math.nsc.ru