|
Некоторые свойства верхней полурешётки вычислимых семейств вычислимо перечислимых множеств
М. Х. Файзрахманов Казанский (Приволжский) федерал. ун-т, г. Казань, РОССИЯ
Аннотация:
Исследуются особенности алгебраического строения верхней полурешётки вычислимых семейств вычислимо перечислимых множеств $\Omega$. Доказывается, что идеалы уменьшаемых и конечных семейств $\Omega$ совпадают. Изучается вопрос о существовании атомов и коатомов фактор-полурешётки $\Omega$ по идеалу конечных семейств. Указывается одно достаточное условие дополняемости вычислимых семейств.
Ключевые слова:
вычислимо перечислимое множество, вычислимое семейство, вычислимая нумерация, полурешётка вычислимых семейств.
Поступило: 11.10.2020 Окончательный вариант: 24.08.2021
Образец цитирования:
М. Х. Файзрахманов, “Некоторые свойства верхней полурешётки вычислимых семейств вычислимо перечислимых множеств”, Алгебра и логика, 60:2 (2021), 195–209; Algebra and Logic, 60:2 (2021), 128–138
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2658 https://www.mathnet.ru/rus/al/v60/i2/p195
|
Статистика просмотров: |
Страница аннотации: | 166 | PDF полного текста: | 16 | Список литературы: | 25 | Первая страница: | 6 |
|