Заседания семинаров
Бондаренко Екатерина Александровна
Биспециальные слова в языке, порожденном циклическим морфизмом.
М. А. Зинченко
Классы универсальных эпиморфизмов и мономорфизмов в квазиабелевых категориях.
С. В. Скресанов
Проблема изоморфизма групп и вычисление единиц в конечных кольцах (продолжение).
М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories".
М. М. Аликбаров
Не гиперболичность по Громову $H(n)$-Гордиева графа узлов (продолжение).
Одинцов С.П. (ИМ СО РАН)
Дуальность Пристли: от дистрибутивных решеток до решеток Нельсона.
Аннотация
В 1970 году Хилари Пристли доказала, что категория дистрибутивных решеток дуально эквивалентна категории упорядоченных топологических пространств специально вида, называемых ныне пространствами Пристли. С тех пор дуальности такого вида активно исследуются, прежде всего для алгебраических моделей неклассических логик. В докладе будет дан обзор результатов о дуальностях Пристли для дистрибутивных решеток, алгебр Гейтинга, Де Моргана и Клини, а также для алгебраических моделей логик Нельсона N3 и N4.
[1] Priestley, H. A., ‘Representation of distributive lattices by means of ordered Stone spaces’, Bull. London Math. Soc., 2 (1970), 186–190.
[2] Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, 2002.
[3] Odintsov, S. P., 'Priestley Duality for Paraconsistent Nelson’s Logic', Stud. Logica, 96 (2010), 65–93.
Софья Шперлинг
Методы локальных перестановок для двухмерной задачи упаковки в контейнеры.
В. Г. Пузаренко
О свойствах некоторых допустимых множеств (продолжение).
Аннотация
Для наследственно конечных надстроек, упомянутых в докладе автора на Мальцевских чтениях, описывается наличие/отсутствие свойств таких, как униформизация, редукция, наличие универсальной функции, отделимость и продолжимость.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
