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

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