Я посмотрел несколько статей последних 10 лет, все ссылки на них - самоцитаты авторов. По содержанию - общая топология, Стоун-Чех, то есть совсем не мэйнстрим, как я понимаю. Это еще как-то популярно среди логиков и некоторой части компьютер сайенс, как я помню по постдочеству, но совсем маргинальная компьютер сайенс.