|
Сибирский математический журнал, 1993, том 34, номер 5, страницы 23–37
(Mi smj829)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Вычислимые классы конструктивизаций моделей конечного типа конструктивности
С. С. Гончаров
Аннотация:
Исследуются вычислимые классы слабых конструктивизаций для моделей, имеющих сильные конструктивизации. Доказано, что для сильно конструктивизируемых моделей, $n$-полных в некотором конечном обогащении константами, но не являющихся $(n+1)$-полными ни в каком обогащении константами, по любому вычислимому классу конструктивизаций эффективно строится конструктивизация, которая не из этого класса и не является $(n+1)$-конструктивизацией, т.е. ее $(n+1)$-ограниченная теория в обогащении константами для номеров не разрешима.
Библиогр. 14.
Статья поступила: 16.03.1993
Образец цитирования:
С. С. Гончаров, “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”, Сиб. матем. журн., 34:5 (1993), 23–37; Siberian Math. J., 34:5 (1993), 812–824
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj829 https://www.mathnet.ru/rus/smj/v34/i5/p23
|
Статистика просмотров: |
Страница аннотации: | 271 | PDF полного текста: | 79 |
|