Vardanyan’s theorem for extensions of IΣ1
DSpace/Manakin Repository
Vardanyan’s theorem for extensions of IΣ1
Jonge, M. de
(2005) Logic Group Preprint Series, volume 241
(Preprint)
Abstract
Vardanyan’s theorem states that the set of PA-valid formulas of quantified modal logic is II0/2-complete. This result also holds for extensions of IΣ1 on the condition that inconsistency is not provable.
show less
Download/Full Text
Open Access version via Utrecht University Repository
Keywords: predicate provability logic
See
more statistics
about this item