On inflationary fix-point operators safety
Sergey Mikhailovich Dudakov · Lobachevskii Journal of Mathematics · 2015
We continue to investigate a safety of recursive queries (inflationary fix-point operators) over infinite universes. In the previous paper we have proved that models of countable categorical theories are safe. In this paper we propose a necessary and sufficient condition for IFP-safety and obtain a solution of the problem for linear order theories.