|
Алгебра и логика, 1990, том 29, номер 2, страницы 220–240
(Mi al2101)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Индексные множества классов гипер-гиперпростых множеств
В. Л. Селиванов
Аннотация:
Устанавливаются точные оценки сложности многих классов гипер-гиперпростых множеств, задаваемых условиями на булеву алгебру рекурсивно-перечислимых надмножеств. Например, классифицированы все классы гипер-гиперпростых множеств, у которых булева алгебра всех рекурсивно-перечислимых надмножеств удовлетворяет данному предложению первого порядка. Впервые найдены примеры элементарных в решетке рекурсивно-перечислимых множеств семейств, индексные множества которых универсальны в произвольном уровне арифметической иерархии.
Поступило: 15.06.1988
Образец цитирования:
В. Л. Селиванов, “Индексные множества классов гипер-гиперпростых множеств”, Алгебра и логика, 29:2 (1990), 220–240
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2101 https://www.mathnet.ru/rus/al/v29/i2/p220
|
Статистика просмотров: |
Страница аннотации: | 73 | PDF полного текста: | 27 |
|