|
Сибирский математический журнал, 1986, том 27, номер 5, страницы 135–139
(Mi smj7194)
|
|
|
|
Об одном фрагменте формализованного анализа
Е. Г. Никифорова г. Новосибирск
Аннотация:
В языке многосортной логики предикатов с равенством и операцией аппликации строится теория с добавлением ограниченных аксиом свертывания, в терминах вычислимости с оракулами строится ее модель, в которой функционалы типа $n$ интерпретируются $n$-местными числовыми функциями.
Библиогр. 1.
Статья поступила: 24.10.1984
Образец цитирования:
Е. Г. Никифорова, “Об одном фрагменте формализованного анализа”, Сиб. матем. журн., 27:5 (1986), 135–139; Siberian Math. J., 27:5 (1986), 740–744
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7194 https://www.mathnet.ru/rus/smj/v27/i5/p135
|
Статистика просмотров: |
Страница аннотации: | 35 | PDF полного текста: | 11 |
|