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.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: predicate provability logic
 
See more statistics about this item