Vardanyan’s theorem for extensions of IΣ1
Maartje de Jonge · Logic Group preprint series · 2005
Vardanyan’s theorem states that the set of PA-valid formulas of quantified modal logic is 0 -complete. This result also holds for extensions of I 1 on the condition that inconsistency is not provable.