Опубликована статья Сайянтана Роя с соавторами

В журнале «Студиа Логика» ("Studia Logica") опубликована статья Сайянтана Роя «Абстрактные модельные структуры и теоремы компактности».

Аннотация 
Теорема компактности для логики утверждает, грубо говоря, что выполнимость множества правильно построенных формул может быть определена по выполнимости его конечных подмножеств, и наоборот. Обычно доказательства этой теоремы зависят от синтаксических/семантических особенностей соответствующей логики. В данной работе, используя понятие абстрактных модельных структур, мы показываем, что можно разработать обобщённое понятие компактности, не зависящее от этих особенностей. Также доказывается несколько теорем характеризации для одного частного класса компактных абстрактных модельных структур.

Ссылка на статью.