О позитивной логике доказуемости с операторами консервативности

Мы рассматриваем обогащение языка позитивной логики доказуемости $RC$ серией операторов $P_n$, сопоставляющих данной гёделевой теории множество всех её следствий арифметической сложности $\Pi_n$ (для всех натуральных $n$). Мы расскажем о выразительных возможностях этой логики и о нормальной форме её замкнутых формул, связанной с понятием $\Pi_n$-ординала теории.