RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 1981, том 22, номер 1, страницы 35–46 (Mi smj6398)

Построение определимых степеней конструктивности

Б. Л. Будинас


Аннотация: Степень конструктивности называется $\Delta_n^1$-степенью, если она содержит действительное число класса $\Delta_n^1$, но не содержит действительных чисел класса $\Delta_{n-1}^1$. Доказана теорема: для любых натуральных чисел $n$ и $m$, $m\ge n\ge3$, следующее предложение совместимо с $ZFC$ "Существуют ровно три линейно упорядоченные степени конструктивности действительных чисел, из которых наименьшая есть тривиальная степень конструктивных действительных чисел, средняя есть $\Delta_n^1$-степень, а наибольшая есть $\Delta_m^1$-степень".
Библ. 11.

УДК: 51.01.16

Статья поступила: 26.10.1978


 Англоязычная версия: Siberian Mathematical Journal, 1981, 22:1, 25–34

Реферативные базы данных:


© МИАН, 2024