The logic of \Pi 1 -conservativity continued, Archiv fur Mathematische Logik und Grundlagenforschung (1992)

by P H' ajek, F Montagna, P