|
Сибирский математический журнал, 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.
Статья поступила: 26.10.1978
Образец цитирования:
Б. Л. Будинас, “Построение определимых степеней конструктивности”, Сиб. матем. журн., 22:1 (1981), 35–46; Siberian Math. J., 22:1 (1981), 25–34
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6398 https://www.mathnet.ru/rus/smj/v22/i1/p35
|
Статистика просмотров: |
Страница аннотации: | 40 | PDF полного текста: | 18 |
|