Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики» на матфаке ВШЭ
19 января Александр Запрягаев выступил с докладом «Категорный подход к интерпретациям теорий» на семинаре «Современные проблемы математической логики» на матфаке ВШЭ.
Аннотация:
Метод интерпретаций является мощным инструментом для исследования теорий первого порядка и сопоставления их сравнительной силы. Мы познакомимся с главными методами, приложениями и примерами интерпретаций и изучим различные категории, который можно ввести на классе всех теорий с интерпретациями в качестве морфизмов. Мы установим их основные свойства и укажем теории и интерпретации, соответствующие классическим теоретико-категорным понятиям в них.
Доклад основан на статье А. Виссера "Categories of Theories and Interpretations." In Logic in Tehran, edited by Ali Enayat, Iraj Kalantari, and Mojtaba Moniri, 284-341. Lecture Notes in Logic. Cambridge: Cambridge University Press, 2006. doi:10.1017/9781316755747.019.