|
Алгебра и логика, 1994, том 33, номер 3, страницы 233–254
(Mi al2266)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Минимальные нумерации позитивно вычислимых семейств
С. А. Бадаев ИТПМ HAH РК
Аннотация:
Доказывается, что среди вычислимых нумераций, предельно эквивалентных позитивной нумерации вычислимого семейства рекурсивно-перечислимых множеств, есть либо наименьшая нумерация, либо счетное число неэквивалентных минимальных нумераций. В частности, полурешетки вычислимых нумераций вычислимых семейств конечных множеств и слабо эффективно дискретных семейств рекурсивно-перечислимых множеств либо имеют наименьший элемент, либо обладают счетным числом минимальных элементов.
Поступило: 20.07.1993
Образец цитирования:
С. А. Бадаев, “Минимальные нумерации позитивно вычислимых семейств”, Алгебра и логика, 33:3 (1994), 233–254
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2266 https://www.mathnet.ru/rus/al/v33/i3/p233
|
Статистика просмотров: |
Страница аннотации: | 65 | PDF полного текста: | 13 |
|