RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 1986, том 40, выпуск 5, страницы 561–571 (Mi mzm5212)

Эта публикация цитируется в 6 статьях

Об интерпретируемости некоторых расширений арифметики

С. В. Горячев


Аннотация: Исследуется относительная интерпретируемость расширений арифметики $\mathrm{PA}$ в арифметическом языке. Формулы типа непротиворечивости строятся из формулы $(0=0)$ с помощью булевых связок и итераций формулы доказуемости $\Pr_{\mathrm{PA}}(x)$. Основные результаты: 1) любое непротиворечивое расширение $\mathrm{PA}$ произвольным множеством формул типа непротиворечивости взаимно интерпретируется либо с расширением $\mathrm{PA}$ одной формулой, являющейся итерацией формулы непротиворечивости, либо с расширением $\mathrm{PA}$ всеми такими формулами; 2) любое расширение $\mathrm{PA}$ конечным списком частных случаев локального принципа рефлексии интерпретируется в расширении $\mathrm{PA}$ некоторой формулой, являющейся итерацией формулы непротиворечивости; 3) теория, полученная добавлением к $\mathrm{PA}$ локального принципа рефлексии взаимно интерпретируется с расширением $\mathrm{PA}$ всеми итерациями формулы непротиворечивости. Эти результаты обобщаются на более широкий класс расширений $\mathrm{PA}$. Библиогр. 11 назв.

УДК: 511

Поступило: 09.07.1985


 Англоязычная версия: Mathematical Notes, 1986, 40:5, 821–827

Реферативные базы данных:


© МИАН, 2024