Vardanyan's theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π
02. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's
Theorem.
Mathematics Subject Classification (2000) 03B25 - 03F45
Key words or phrases Predicate Provability Logic