|
Математические заметки, 1989, том 46, выпуск 3, страницы 12–21
(Mi mzm3599)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Об арифметике с локальным принципом рефлексии для россеровской формулы доказуемости
С. В. Горячев
Аннотация:
Средствами модальной логики показано, что существует стандартная форма
доказуемости $Th(x)$, доказуемо эквивалентная в арифметике Пеано $PA$ гёделевской формуле $Pr(x)$ и такая, что локальный принцип рефлексии для россеровской
формулы, основанной на формуле $Th(x)$, эквивалентен в $PA$ локальному принципу
рефлексии для формулы $Pr(x)$.
Библиогр. 6 назв.
Поступило: 16.03.1987
Образец цитирования:
С. В. Горячев, “Об арифметике с локальным принципом рефлексии для россеровской формулы доказуемости”, Матем. заметки, 46:3 (1989), 12–21; Math. Notes, 46:3 (1989), 689–694
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm3599 https://www.mathnet.ru/rus/mzm/v46/i3/p12
|
Статистика просмотров: |
Страница аннотации: | 249 | PDF полного текста: | 99 | Первая страница: | 1 |
|