Results 1 -
1 of
1
Vardanyan’s theorem for extensions of IΣ1
, 2005
"... Vardanyan’s theorem states that the set of PA-valid formulas of quantified modal logic is Π 0 2-complete. This result also holds for extensions of IΣ1 on the condition that inconsistency is not provable. key words: Predicate Provability Logic 1 ..."
Abstract
- Add to MetaCart
Vardanyan’s theorem states that the set of PA-valid formulas of quantified modal logic is Π 0 2-complete. This result also holds for extensions of IΣ1 on the condition that inconsistency is not provable. key words: Predicate Provability Logic 1
