|
Алгебра и логика, 1972, том 11, номер 5, страницы 588–607
(Mi al1353)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
О вычислимых нумерациях семейств общерекурсивных функций
С. С. Марченков
Аннотация:
Рассматриваются верхние полурешетки вычислимых нумерации семейств
общерекурсивных функций и устанавливаются следующие результаты: всякая
нетривиальная полурешетка не является решеткой и не имеет наибольшего
элемента; любая полурешетка содержит либо один, либо бесконечно много
минимальных элементов.
Поступило: 25.04.1972
Образец цитирования:
С. С. Марченков, “О вычислимых нумерациях семейств общерекурсивных функций”, Алгебра и логика, 11:5 (1972), 588–607
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1353 https://www.mathnet.ru/rus/al/v11/i5/p588
|
|