|
Сибирский математический журнал, 1992, том 33, номер 2, страницы 22–28
(Mi smj3189)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Об интуиционистской элементарной арифметике
В. Я. Бочерников
Аннотация:
Доказывается невыводимость формулы $\forall_y^{p(x)}v(x,y)=0\vee\neg\forall_y^{p(x)}v(x,y)=0$, где множество
$A=\{n:N\mid=\forall_y^{p(n)}v(n,y)=0\}$ $\operatorname{co}$-$\mathbf{NP}$-полное в элементарной интуиционистской арифметике с естественным ограничением на индукционную формулу в аксиоме индукции.
Библиогр. 7.
Статья поступила: 19.01.1990
Образец цитирования:
В. Я. Бочерников, “Об интуиционистской элементарной арифметике”, Сиб. матем. журн., 33:2 (1992), 22–28; Siberian Math. J., 33:2 (1992), 195–200
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3189 https://www.mathnet.ru/rus/smj/v33/i2/p22
|
|