Различия
Показаны различия между двумя версиями страницы.
| Предыдущая версия справа и слева Предыдущая версия Следующая версия | Предыдущая версия | ||
|
shared:seminars_modeltheory [19.09.2021 20:21] helenbunina |
shared:seminars_modeltheory [08.04.2025 16:43] (текущий) |
||
|---|---|---|---|
| Строка 1: | Строка 1: | ||
| ==== Научный семинар «Алгебра и теория моделей» под руководством Е. И. Буниной ==== | ==== Научный семинар «Алгебра и теория моделей» под руководством Е. И. Буниной ==== | ||
| - | <fc #FF0000>Осенью 2021 года семинар | + | <color #FF0000>В весеннем семестре 2022 года семинар продолжится в феврале, следите за обновлениями страницы</ |
| - | Начало 14 сентября, следите за обновлениями страницы</ | + | |
| Зум семинара: | Зум семинара: | ||
| Строка 18: | Строка 17: | ||
| During the talk we are going to introduce a new duality for lattices, based on the works of Jipsen and Moshier as well as classical results of Hilary Priestley. Next we will extend the obtained duality to the modal case and use it to demonstrate that filter completions preserve positive modal formulas. Finally, we will discuss logical deductive systems connected to the constructed dualities and their completeness. | During the talk we are going to introduce a new duality for lattices, based on the works of Jipsen and Moshier as well as classical results of Hilary Priestley. Next we will extend the obtained duality to the modal case and use it to demonstrate that filter completions preserve positive modal formulas. Finally, we will discuss logical deductive systems connected to the constructed dualities and their completeness. | ||
| + | |||
| + | === 28 сентября 2021 года === | ||
| + | |||
| + | Сергей Осинский. Диофантова проблема в группах Шевалле над локальными кольцами | ||
| + | |||
| + | <color # | ||
| + | |||
| + | |||
| + | === 12 октября 2021 года === | ||
| + | |||
| + | Глеб Погудин. **x^2 = 0. И что с того?** Глеб расскажет, | ||
| + | |||
| + | <color # | ||
| + | |||
| + | === 19 октября 2021 года === | ||
| + | |||
| + | Алексей Лазарев. Глобальная оптимизация многочленов, | ||
| + | |||
| + | === 26 октября 2021 года === | ||
| + | |||
| + | Эрнест Майоров. TBA | ||
| + | |||
| + | <color # | ||
| + | |||
| + | === 9 ноября 2021 года === | ||
| + | |||
| + | Вазген Киракосян. Автоморфизмы групп Шевалле типа F_4 над локальными кольцами | ||
| + | |||
| + | <color # | ||
| + | |||
| + | === 23 ноября 2021 года === | ||
| + | |||
| + | Дмитрий Баженов. Связь между gr-полупервичностью и полупервичностью в зависимости от градуирующей группы | ||
| + | |||
| + | === 30 ноября 2021 года === | ||
| + | |||
| + | Юлия Мухина. Элементарная эквивалентность линейных групп над дифференциальными полями | ||