Аннотация:
Установлено, что множество минимальных обобщенно вычислимых нумераций любого бесконечного вычислимого относительно высокого оракула семейства эффективно бесконечно. Найдено достаточное условие для вычислимых относительно высоких оракулов нумераций бесконечных семейств, при выполнении которого существуют не сводящиеся к ним минимальные обобщенно вычислимые нумерации.
Работа выполнена за счет средств субсидии, выделенной Казанскому федеральному университету для выполнения государственного задания в сфере научной деятельности (код проекта 1.1515.2017/ПЧ), а также при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 15-01-08252).
Статья поступила: 03.03.2016 Окончательный вариант: 13.12.2016