Новости

Веб-почта

Ссылки

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

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

11 декабря 2013 г.
К. А. Байкалова
О числе предельных и простых над конечными множествами моделей теорий локально свободных алгебр.

4 декабря 2013 г.
М. В. Швидефски
Сложность решеток квазимногообразий.

27 ноября 2013 г.
Р. А. Попков продолжает реферировать статью:
J. T. Baldwin, A. R. Blass, M. W. Glass, and D. W. Kueker, A "natural" theory without a prime model, Algebra Universalis, vol. 3 (1973), pp. 152-155.

20 ноября 2013 г.
Р. А. Попков реферирует статью:
J. T. Baldwin, A. R. Blass, M. W. Glass, and D. W. Kueker, A `natural' theory without a prime model, Algebra Universalis, vol. 3 (1973), pp. 152-155.

16 октября 2013 г.
А. А. Викентьев
Модельные метрики на многозначных формулах и меры достоверности в алгоритмах кластеризации логических знаний.

Р. А. Попков
Распределение счетных моделей теории аддитивной группы целых чисел.

9 октября 2013 г.
Е. А. Палютин
Число P-обогащений абелевых групп (продолжение).

2 октября 2013 г.
Е. А. Палютин
Число P-обогащений абелевых групп.

29 мая 2013 г.
С. В. Судоплатов
Проблема Лахлана (продолжение).

22 мая 2013 г.
С. В. Судоплатов
Проблема Лахлана.

15 мая 2013 г.
Д. Ю. Власов
Структура несовместных множеств предложений.

24 апреля 2013 г.
М. Г. Перетятькин (Алматы, Казахстан)
Конечная комбинаторика первого порядка и существующие подходы в теории моделей.

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

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

3 апреля 2013 г.
Е. А. Палютин
P-спектры абелевых групп.

6 марта 2013 г.
Д. Ю. Власов
Семантика формальных дедуктивных систем.

13 февраля 2013 г.
Р. А. Попков, С. В. Судоплатов
Оператор порождения предпорядков Рудин-Кейслера в классе теорий с континуальным числом типов.

6 февраля 2013 г.
А. Г. Пинус
Определимые функции на универсальных алгебрах.

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