Об арифметике с локальным принципом рефлексии для россеровской формулы доказуемости

Средствами модальной логики показано, что существует стандартная форма доказуемости $Th(x)$, доказуемо эквивалентная в арифметике Пеано $PA$ гёделевской формуле $Pr(x)$ и такая, что локальный принцип рефлексии для россеровской формулы, основанной на формуле $Th(x)$, эквивалентен в $PA$ локальному принципу рефлексии для формулы $Pr(x)$.
Библиогр. 6 назв.