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 г.
Е. А. Палютин
Стабильные теории Фреше-степеней. |