📖 Заседание научно-исследовательского семинара «From the Logical Point of View»

👤 Доклад по теме «Abstract Model Structures and Compactness Theorems» представит Саянтан Рой, научный сотрудник Международной лаборатории логики, лингвистики и формальной философии.

📌В докладе будет рассмотрена обобщённая версия теоремы компактности, сформулированная на основе abstract model structures. Такой подход позволяет описывать компактность без опоры на специфику конкретной логики. Также будут представлены характеризационные результаты для класса компактных абстрактных модельных структур.

📎Мероприятие пройдёт 19 ноября в 18:10 в смешанном формате на ул. Старая Басманная, 21/4 (ауд. А-117) и в Zoom. Для участия необходима регистрация по ссылке.

#МЛогЛингФФ@philosnote