|
Математические заметки, 1988, том 44, выпуск 6, страницы 823–832
(Mi mzm4205)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Об алгоритмической сложности алгебраических систем
В. Л. Селиванов
Аннотация:
В работе вводятся и изучаются понятия, позволяющие измерять сложность алгебраических систем. Установлена связь этих понятий с понятием относительно элементарной определимости. Построена рекурсивно перечислимая дистрибутивная решетка наибольшей сложности. Найдена сложность полурешетки рекурсивно перечислимых $m$-степеней и решетки рекурсивно перечислимых множеств. Доказано, что любая $\Sigma_2^0$-булева алгебра изоморфна факторизации подходящей рекурсивной булевой алгебры по идеалу Фреше. Библиогр. 9 назв.
Поступило: 30.06.1986
Образец цитирования:
В. Л. Селиванов, “Об алгоритмической сложности алгебраических систем”, Матем. заметки, 44:6 (1988), 823–832; Math. Notes, 44:6 (1988), 944–950
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm4205 https://www.mathnet.ru/rus/mzm/v44/i6/p823
|
Статистика просмотров: |
Страница аннотации: | 215 | PDF полного текста: | 97 | Первая страница: | 3 |
|