Аннотация:
В работе исследуется вопрос об определенности рекурсивных запросов на универсуме. В качестве модели рекурсивного запроса применяется оператор инфляционной фиксированной точки $IFP$. Исследованы основные свойства $IFP$-оператора и показано, что модели счетно-категоричных теорий являются безопасными.
Первая страница:
PDF файл