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

Алгебра и логика, 1987, том 26, номер 1, страницы 36–62 (Mi al1969)

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

Структурные свойства вычислимых классов конструктивных моделей

В. П. Добрица


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

УДК: 517.15

Поступило: 20.04.1985



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


© МИАН, 2024