BibTeX
@MISC{Visser03noescape,
author = {Albert Visser},
title = {No Escape from Vardanyan’s Theorem},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
