|
Записки научных семинаров ЛОМИ, 1974, том 40, страницы 127–130
(Mi znsl2688)
|
|
|
|
Одно простое синтаксическое определение всех классов иерархии Гжегорчика
С. В. Пахомов
Аннотация:
Пусть $\widetilde E^n$ – наименьший класс примитивно рекурсивных функций, содержащий исходные функции класса $E$ [I] и замкнутый относительно подстановки и специальной рекурсии (см. определение 5). Тогда $\widetilde E^n=E^n$.
Образец цитирования:
С. В. Пахомов, “Одно простое синтаксическое определение всех классов иерархии Гжегорчика”, Исследования по конструктивной математике и математической логике. VI, Зап. научн. сем. ЛОМИ, 40, Изд-во «Наука», Ленинград. отд., Л., 1974, 127–130
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2688 https://www.mathnet.ru/rus/znsl/v40/p127
|
Статистика просмотров: |
Страница аннотации: | 133 | PDF полного текста: | 43 |
|