|
|
Записки научных семинаров ЛОМИ, 1979, том 88, страницы 186–191
(Mi znsl3112)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Позитивная рудиментарность графиков функций Аккермана и Гжегорчика
А. В. Проскурин
Аннотация:
Доказывается представимость графиков функций В. Аккермана $\lambda xy\cdot g_n(x,y)$ и функций А. Гжегорчика $f_n$ в классе позитивных рудиментарных предикатов Дж. Х. Беннета, входящем в начальный класс $\mathscr E_*^0$ А. Гжегорчика. Это существенно уточняет результат С. В. Пахомова о представимости графиков $f_n$ в $\mathscr E_*^0$.
Обобщение метода доказательства позволяет показать позитивную рудиментарность графика функции В. Аккермана $\lambda nxy\cdot g_n(x,y)$. Библ. – 8 назв.
Образец цитирования:
А. В. Проскурин, “Позитивная рудиментарность графиков функций Аккермана и Гжегорчика”, Исследования по конструктивной математике и математической логике. VIII, Зап. научн. сем. ЛОМИ, 88, Изд-во «Наука», Ленинград. отд., Л., 1979, 186–191; J. Soviet Math., 20:4 (1982), 2363–2366
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl3112 https://www.mathnet.ru/rus/znsl/v88/p186
|
|