Теория моделей
Связь между формальными теориями и их интерпретациями
Другие названия: Теория моделей и алгебраические системы, Математическая теория моделей
2 записи лекций, около 12 часов
Записи лекций
- ВШЭ — Introduction to Model Theory. V.B.Shehtman. Fall 2025, 14 лекций
- Прочие каналы — CEB - 2018 - T1 - Model Theory, Combinatorics and Valued fields, 60 лекций
- Taylor Dupuy — Model Theory, 10 лекций
Что нужно знать заранее
Область знаний
Карта знаний