Some conservation results for fragments of arithmetic
1981 ◽
pp. 251-262
◽