Новости

Веб-почта

Ссылки

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

21 декабря 2011 г.
К. А. Байкалова
О предельных моделях теорий графов с равномерной конечной отделимостью (продолжение).

14 декабря 2011 г.
К. А. Байкалова
О предельных моделях теорий графов с равномерной конечной отделимостью.

7 декабря 2011 г.
А. Н. Шевляков, Омск, ОФ ИМ СО РАН
Алгебраическая геометрия над булевыми алгебрами (атомарная теория булевых алгебр).

М. В. Котов, Омск, ОФ ИМ СО РАН
О топологии Зарисского на алгебраических системах.

30 ноября 2011 г.
Р. А. Попков реферирует статью:
P. Tanovic "On Kueker's conjecture" (продолжение).

23 ноября 2011 г.
Р. А. Попков реферирует статью:
P. Tanovic "On Kueker's conjecture" (продолжение).

16 ноября 2011 г.
Р. А. Попков реферирует статью:
П. Танович "On Kueker's conjecture".

2 ноября 2011 г.
А. Г. Пинус
Геометрическая и условно геометрическая эквивалентность алгебр.

26 октября 2011 г.
Ц. Ч.-Д. Батуева
Некоторые результаты о решетках замыкания.

19 октября 2011 г.
А. Замойска-Дженио (Технический университет Варшавы)
Аксиоматизируемые классы систем.

5 октября 2011 г.
Н. В. Трикашная (Владивосток)
Теоретико-модельные свойства группоидов.

21 сентября 2011 г.
С. В. Судоплатов
Ранги Морли теорий, имеющих предельные модели над типами (продолжение).

14 сентября 2011 г.
С. В. Судоплатов
Ранги Морли теорий, имеющих предельные модели над типами.

7 сентября 2011 г.
Р. А. Попков
Классификация счетных моделей полных теорий одноместных предикатов с подстановками ограниченного порядка.

29 июня 2011 г.
А. М. Кунгожин (Алматы, Казахстан)
Экзистенциально замкнутые и максимальные модели в позитивной логике.

25 мая 2011 г.
Н. В. Трикашная (Владивосток)
Группоиды с примитивно нормальными и аддитивными теориями.

18 мая 2011 г.
С. В. Судоплатов
Стабильные эренфойхтовы теории (продолжение).

11 мая 2011 г.
С. В. Судоплатов
Стабильные эренфойхтовы теории (продолжение).

4 мая 2011 г.
Д. Ю. Власов
Теорема о замене при аксиоматических дефинициальных расширениях исчислений.

27 апреля 2011 г.
С. В. Судоплатов
Стабильные эренфойхтовы теории (продолжение).

13 апреля 2011 г.
С. В. Судоплатов
Стабильные эренфойхтовы теории (продолжение).

6 апреля 2011 г.
С. В. Судоплатов
Стабильные эренфойхтовы теории (продолжение).

30 марта 2011 г.
С. В. Судоплатов
Стабильные эренфойхтовы теории (продолжение).

23 марта 2011 г.
А. Г. Пинус
Неявно эквивалентные универсальные алгебры.

2 марта 2011 г.
В. Г. Пузаренко
Об одной гипотезе Ю. Л. Ершова.

С. В. Судоплатов
Стабильные эренфойхтовы теории.

16 февраля 2011 г.
А. С. Денисов (Якутск) выступит с докладом:
Положительное решение Казанской гипотезы (1992 г.).

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