Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем

В работе рассмотрены различные семантики частичной фиксированной точки для конечных и бесконечных алгебраических систем. В частности, показано, что операторы частичной фиксированной точки рассматриваемых семантик можно промоделировать оператором инфляционной фиксированной точки в тех алгебраических системах, в которых есть строгий частичный порядок со сколь угодно длинными цепями. Также, например, показано что элиминировать оператор частичной фиксированной точки можно только в тех теориях, в которых любой такой оператор зацикливается за конечное число шагов. Доклад представляет материалы и результаты кандидатской диссертации на соискание ученой степени кандидата физико-математических наук по специальности 1.1.5. "Математическая логика, алгебра, теория чисел и дискретная математика".
Запись доклада доступна на https://youtu.be/zOfib-qlZiI.