|
Сибирский математический журнал, 1989, том 30, номер 3, страницы 45–51
(Mi smj3600)
|
|
|
|
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей
В. П. Добрица
Аннотация:
Вводится понятие локального конуса, определяемого конструктивной моделью в классе конструктивных моделей. Устанавливается точная оценка сложности индексного множества локального конуса в случае вычислимости класса конструктивных моделей. Доказываются два достаточных условия вычислимости подкласса, дополняющего локальный конус до всего класса, в объединении с конструктивной моделью, определяющей этот конус. При этом индексные множества локального конуса и его дополнения могут быть достаточно сложными.
Библиогр. 4.
Статья поступила: 28.01.1987
Образец цитирования:
В. П. Добрица, “Вычислимость некоторых подклассов вычислимого класса конструктивных моделей”, Сиб. матем. журн., 30:3 (1989), 45–51; Siberian Math. J., 30:3 (1989), 382–386
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3600 https://www.mathnet.ru/rus/smj/v30/i3/p45
|
Статистика просмотров: |
Страница аннотации: | 85 | PDF полного текста: | 36 |
|