• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики»‎ на матфаке ВШЭ

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.

Александр Запрягаев «Категорный подход к интерпретациям теорий»‎

Видео: трансляция на канале «Логика в Москве»‎