RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия высших учебных заведений. Математика // Архив

Изв. вузов. Матем., 2023, номер 5, страницы 96–100 (Mi ivm9883)

Эта публикация цитируется в 1 статье

Краткие сообщения

Эффективно бесконечные классы нумераций вычислимых семейств действительных чисел

М. Х. Файзрахманов

Казанский федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия

Аннотация: Излагаются результаты об эффективной бесконечности классов всех (однозначных) нумераций семейств всех перечислимых и всех случайных по Мартин–Лёфу перечислимых действительных чисел, а также нацеленные на их получение достаточные условия эффективной бесконечности классов нумераций семейств вычислимо перечислимых множеств.

Ключевые слова: вычислимая нумерация, однозначная нумерация, позитивная нумерация, эффективная бесконечность, перечислимое действительное число.

УДК: 510.5

Поступила: 09.03.2023
Исправленный вариант: 09.03.2023
Принята к публикации: 29.03.2023

DOI: 10.26907/0021-3446-2023-5-96-100



© МИАН, 2024