|
Эта публикация цитируется в 18 научных статьях (всего в 18 статьях)
Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр
С. С. Гончаровab, Н. А. Баженовba, М. И. Марчукa a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск 630090
Аннотация:
Получены точные оценки алгоритмической сложности для классов сильно конструктивизируемых вычислимых моделей, являющихся автоустойчивыми относительно сильных конструктивизаций и принадлежащих следующим естественным классам: булевым алгебрам, дистрибутивным решеткам, кольцам, коммутативным полугруппам, частичным порядкам.
Ключевые слова:
вычислимая модель, сильно конструктивизируемая модель, автоустойчивость, автоустойчивость относительно сильных конструктивизаций, булева алгебра, дистрибутивная решетка, кольцо, коммутативная полугруппа, частичный порядок, гиперарифметическая иерархия, индексное множество.
Статья поступила: 18.03.2015
Образец цитирования:
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. матем. журн., 56:3 (2015), 498–512; Siberian Math. J., 56:3 (2015), 393–404
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2655 https://www.mathnet.ru/rus/smj/v56/i3/p498
|
Статистика просмотров: |
Страница аннотации: | 283 | PDF полного текста: | 65 | Список литературы: | 49 | Первая страница: | 12 |
|