Веб-почта

Ссылки

ММЦ в Академгородке

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

23 декабря 2009 г.
В. В. Вербовский (Алма-Ата, Казахстан)
Теории без свойства независимости и упорядоченные группы.

9 декабря 2009 г.
Б. С. Байжанов, В. В. Вербовский (Алма-Ата, Казахстан)
Об упорядоченно стабильных теориях.

2 декабря 2009 г.
Судоплатов С. В.
О l-категоричных теориях с конечным весом.

25 ноября 2009 г.
Власов Д. Ю.
Метод адаптивного перебора в автоматическом доказательстве теорем.

18 ноября 2009 г.
К. Ж. Жетписов (Караганда, Казахстан)
Методологические вопросы преподавания теории моделей и алгебры.

16 сентября 2009 г.
С. В. Судоплатов
О почти однородных моделях эренфойхтовых теорий.

9 сентября 2009 г.
Русалеев М. А.
Обобщённая стабильность теорий абелевых групп.

12 августа 2009 г.
Судоплатов С. В.
Проблема Лахлана.

27 мая 2009 г.
Первухин М. А. (Владивосток)
О регулярных частично-упорядоченных полигонах.

20 мая 2009 г.
Кулпешов Б. Ш. (Алматы, Казахстан)
Бинарность и счетная категоричность для вариантов о-минимальности: слабой о-минимальности и слабой циклической минимальности (докторская диссертация).

Одинцов В. А. (Новоуральск)
Проблема континуума в логике третьего порядка.

6 мая 2009 г.
Шулепов И. В.
Факторизации последовательностей по множествам словарных тождеств.

15 апреля 2009 г.
Е. А. Палютин реферирует препринт:
T. Blossier and E. Bouscaren, Finitely axiomatizable strongly minimal
groups, Preprint, 2009, 29 pp.

18 марта 2009 г.
А. М. Нуракунов (Бишкек, Киргизия)
Решетки квазимногообразий с невычислимым множеством подрешеток.

11 февраля 2009 г.
Е. А. Палютин
Стабильные теории Фреше-степеней.

  © Федеральное государственное бюджетное учреждение науки
      Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук, 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: