On the ∑₁°–conservativity of ∑₁°-completeness
DSpace/Manakin Repository
On the ∑₁°–conservativity of ∑₁°-completeness
(1989) Logic Group Preprint Series, volume 52
(Preprint)
Download/Full Text
Keywords: Provability Logic, ∑₁, fragments of arithmetic
See more statistics about this item