Новости

Веб-почта

Ссылки

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

12 декабря 2012 г.
Д. Ю. Власов, Д. К. Пономарёв
Определимость в EL-теориях (продолжение).

5 декабря 2012 г.
Д. Ю. Власов, Д. К. Пономарёв
Определимость в EL-теориях (продолжение).

28 ноября 2012 г.
Д. Ю. Власов, Д. К. Пономарёв
Определимость в EL-теориях (продолжение).

21 ноября 2012 г.
Д. Ю. Власов, Д. К. Пономарёв
Определимость в EL-теориях.

7 ноября 2012 г.
Е. А. Палютин
P-стабильные абелевы группы (продолжение).

31 октября 2012 г.
Е. А. Палютин
P-стабильные абелевы группы (продолжение).

24 октября 2012 г.
Е. А. Палютин
P-стабильные абелевы группы (продолжение).

17 октября 2012 г.
Е. А. Палютин
P-стабильные абелевы группы (продолжение).

10 октября 2012 г.
Е. А. Палютин
P-стабильные абелевы группы.

3 октября 2012 г.
С. В. Судоплатов
Алгебры распределений бинарных полуизолирующих формул полной теории (продолжение).

26 сентября 2012 г.
С. В. Судоплатов
Алгебры распределений бинарных полуизолирующих формул полной теории (продолжение).

12 сентября 2012 г.
С. В. Судоплатов
Алгебры распределений бинарных полуизолирующих формул полной теории.

5 сентября 2012 г.
Д. О. Птахов (Владивосток)
Примитивная нормальность сильно плоских полигонов.

8 августа 2012 г.
Е. В. Васильев (Корнер-Брук, Ньюфаундленд, Канада)
Обогащения геометрических структур плотными независимыми подмножествами.

31 июля 2012 г.
C. Hill (Notre Dame, USA)
Coherent Classes of Finite Structures.

24 июля 2012 г.
Uri Andrews (University of Wisconsin, Madison, USA)
Randomizations of Theories With Countably Many Countable Models (with H. Jerome Keisler)
The text is available in

23 мая 2012 г.
Р. А. Попков, С. В. Судоплатов
О распределениях счетных моделей теорий с континуальным числом типов (продолжение).

16 мая 2012 г.
Р. А. Попков, С. В. Судоплатов
О распределениях счетных моделей теорий с континуальным числом типов (продолжение).

2 мая 2012 г.
Р. А. Попков, С. В. Судоплатов
О распределениях счетных моделей теорий с континуальным числом типов.

18 апреля 2012 г.
Д. Ю. Власов
Суперкомпактность конечных фрагментов логики первого порядка.

11 апреля 2012 г.
А. Г. Пинус
Подрешетки неподвижных точек и автоморфизмы решеток.

4 апреля 2012 г.
С. В. Судоплатов, И. В. Шулепов
Алгебры распределений бинарных изолирующих формул полной теории (продолжение).

28 марта 2012 г.
С. В. Судоплатов, И. В. Шулепов
Алгебры распределений бинарных изолирующих формул полной теории (продолжение).

21 марта 2012 г.
С. В. Судоплатов, И. В. Шулепов
Алгебры распределений бинарных изолирующих формул полной теории (продолжение).

14 марта 2012 г.
С. В. Судоплатов, И. В. Шулепов
Алгебры распределений бинарных изолирующих формул полной теории.

29 февраля 2012 г.
Б. С. Байжанов, В. В. Вербовский, С. В. Судоплатов
Обобщение теорем Цубои и Кима (продолжение).

22 февраля 2012 г.
Б. С. Байжанов, В. В. Вербовский, С. В. Судоплатов
Обобщение теорем Цубои и Кима.

15 февраля 2012 г.
Н. С. Романовский
Элементарная теория делимой распавшейся жесткой группы (продолжение).

8 февраля 2012 г.
Н. С. Романовский
Элементарная теория делимой распавшейся жесткой группы.

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