Д. М. Анищенко (НГУ)
Фундаментальные свойства пространств Эсакиа.
Аннотация
Одним из подходов к решению задач неклассических логик является алгебраический подход: чтобы установить свойства некоторой логики, можно установить свойства алгебр, являющихся моделями данной логики, и перейти обратно к логической формулировке.
В свою очередь, чтобы установить свойства алгебр, иногда бывает полезно перейти к топологическому представлению этих алгебр. Именно так и возникают пространства Эсакиа.
Пространства Эсакиа – это топологические пространства, на которых задан предпорядок, согласованный с топологией. В докладе будут разобраны фундаментальные свойства данных пространств, будет приведен пример применения данных пространств к решению одной задачи из неклассических логик и будет сформулирована некоторая проблема, открытая на момент 1985 года и про которую автору доклада неизвестно, решена ли данная проблема на данный момент.



















