|
Алгебра и логика, 2011, том 50, номер 5, страницы 615–646
(Mi al505)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Hеподвижные точки оператора скачка
В. Г. Пузаренкоab a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
Аннотация:
Строится пример допустимого множества, являющегося неподвижной точкой оператора $\Sigma$-скачка. Приводятся также основные свойства неподвижной точки.
Ключевые слова:
KPU-модель, допустимое множество, конструктивное представление, рекурсивно насыщенная модель, $\Sigma$-скачок, $\Sigma$-сводимость, $\Sigma$-определимость, наследственно конечные надстройки, натуральные ординалы.
Поступило: 09.02.2011 Окончательный вариант: 13.07.2011
Образец цитирования:
В. Г. Пузаренко, “Hеподвижные точки оператора скачка”, Алгебра и логика, 50:5 (2011), 615–646; Algebra and Logic, 50:5 (2011), 418–438
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al505 https://www.mathnet.ru/rus/al/v50/i5/p615
|
Статистика просмотров: |
Страница аннотации: | 461 | PDF полного текста: | 95 | Список литературы: | 59 | Первая страница: | 12 |
|