A Note on Conservativity Relations among Bounded Arithmetic Theories

Russell Impagliazzo, Jan Krajícek. A Note on Conservativity Relations among Bounded Arithmetic Theories. Math. Log. Q., 48(3):375-377, 2002. [doi]

Abstract

Abstract is missing.