Евгений Евгеньевич Золин

старший научный сотрудник 

Международной лаборатории логики, лингвистики
 и формальной философии НИУ ВШЭ

представит доклад

«Абстрактная теория определимости»

Аннотация:

В математической логике, а точнее, в теории моделей, фундаментальное значение имеют результаты, характеризующие выразительные возможности того или иного формального языка. Важную роль среди них играют  так называемые «критерии определимости». Это теоремы, дающие необходимые и достаточные условия того, что некоторый класс моделей (алгебр, шкал, пространств и т.п.) является определимым в некотором формальном языке. Такие условия обычно формулируются в виде замкнутости данного класса структур относительно тех или иных операций над моделями или отношений между моделями. Кроме того, сама определимость данного класса моделей в изучаемом языке тоже может пониматься по-разному; например, данный класс задается одной формулой либо множеством формул данного языка (есть и другие возможности, образующие вместе довольно простую «иерархию видов определимости»).

В докладе будет рассказано о том, как можно в наиболее общем виде сформулировать подобные критерии определимости, какие при этом возникают понятия, какие еще результаты можно сформулировать в абстрактном виде, а также будут приведены конкретные примеры известных (или полученных докладчиком) результатов данного типа.

Приглашаются все желающие!

• Время: 15 января (ср), 18.10
• Место: ул. Старая Басманная 21/4, ауд. А-120
• Рабочий язык: русский
• Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR