No Escape from Vardanyan's theorem

Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's Theorem. Key words: Predicate Provability Logic MSC2000 codes: 03B25, 03F45

• Type: Journal
• Year: 2006
• Where: AML
• Authors: Albert Visser, Maartje de Jonge
• Keywords: AML 2006, Logic MSC2000 Codes, Modal Logic, PA-valid Principles