A Simple Proof of Arithmetical Completeness for Pi::1::-conservativity Logic

Giorgi Japaridze. A Simple Proof of Arithmetical Completeness for Pi::1::-conservativity Logic. Notre Dame Journal of Formal Logic, 35(3):346-354, 1994.

Abstract

Abstract is missing.