В. Г. Пузаренко, “Hеподвижные точки оператора скачка”, Алгебра и логика, 2011, том 50, номер 5,страницы 615

Эта публикация цитируется в 7 статьях

Hеподвижные точки оператора скачка

В. Г. Пузаренко^ab

^a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
^b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Строится пример допустимого множества, являющегося неподвижной точкой оператора $\Sigma$-скачка. Приводятся также основные свойства неподвижной точки.

Ключевые слова: KPU-модель, допустимое множество, конструктивное представление, рекурсивно насыщенная модель, $\Sigma$-скачок, $\Sigma$-сводимость, $\Sigma$-определимость, наследственно конечные надстройки, натуральные ординалы.

УДК: 510.5

Поступило: 09.02.2011
Окончательный вариант: 13.07.2011