ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Рассматриваются интерпретации языка формальной арифметики и его расширений, основанные на примитивно-рекурсивной и гиперарифметической реализуемости. Устанавливается корректность базисной логики высказываний относительно строго примитивно-рекурсивной реализуемости и базисной логики предикатов относительно гиперарифметической реализуемости.