Матем. заметки,
1984, том 36, выпуск 4, страницы 583–592
(Mi mzm5956)
|
Формальная система безотрицательной арифметики, консервативная относительно арифметики Гейтинга
В. Н. Кривцов
Аннотация:
Строится формальная система натурального вывода
$HA^N$ для безотрицательной арифметики. Доказывается, что относительно некоторой естественной интерпретации арифметика Гейтинга
$HA$ является консервативным расширением
$HA^N$. Библ. 7 назв.
УДК:
517.11
Поступило: 28.06.1982
© , 2024
Полный текст:
PDF файл (775 kB)
