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

Алгебра и логика, 1972, том 11, номер 5, страницы 588–607 (Mi al1353)

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

О вычислимых нумерациях семейств общерекурсивных функций

С. С. Марченков


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

УДК: 517.11:518.5

Поступило: 25.04.1972



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


© МИАН, 2024