Publication:3964565
From MaRDI portal
zbMath0499.03046MaRDI QIDQ3964565
Publication date: 1982
provability logic; extensions of PA; heights of finite Kripke models; local reflection schema; true arithmetic formulas
Related Items
Interpretability of various extensions of arithmetic, Independent numerations of theories and recursive progressions, Iterated local reflection versus iterated consistency