|
Алгебра и логика, 1998, том 37, номер 1, страницы 36–62
(Mi al2418)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Семейства с одноэлементной полурешеткой Роджерса
С. С. Гончаровa, С. А. Бадаевb a ИМ СО РАН, г. Новосибирск
b ИТПМ МН-АН РК, г. Алматы
Аннотация:
Рассматривается проблема Ю. Л. Ершова описания семейств с одноэлементной полурешеткой вычислимых нумераций (полурешеткой Роджерса). Дается алгоритмическое описание семейств общерекурсивных функций с одноэлементными полурешетками Роджерса. Доказывается существование нетривиального семейства рекурсивно перечислимых множеств, содержащего наименьшее по включению множество с одноэлементной полурешеткой Роджерса.
Поступило: 08.05.1996
Образец цитирования:
С. С. Гончаров, С. А. Бадаев, “Семейства с одноэлементной полурешеткой Роджерса”, Алгебра и логика, 37:1 (1998), 36–62
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2418 https://www.mathnet.ru/rus/al/v37/i1/p36
|
Статистика просмотров: |
Страница аннотации: | 67 | PDF полного текста: | 22 |
|