RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1993, том 32, номер 1, страницы 45–53 (Mi al2217)

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

Эффективные операции выбора на конструктивных и позитивных моделях

Ю. Г. Венцов

Институт математики Сибирского отделения Российской академии наук, г. Новосибирск

Аннотация: Для произвольного фиксированного отношения исследуется разрешимость проблемы выбора индексов рекурсивных и рекурсивно- перечислимых множеств по индексам конструктивизации и позитивных нумераций моделей. Получены необходимые и достаточные условия разрешимости проблемы выбора, а также ряд контрпримеров, показывающих существенность этих условий.

УДК: 517.15

Поступило: 22.06.1992


 Англоязычная версия: DOI: 10.1007/BF02260929

Реферативные базы данных:


© МИАН, 2024