Some conservation results for fragments of arithmetic

Lecture Notes in Mathematics - Model Theory and Arithmetic ◽

10.1007/bfb0095667 ◽

1981 ◽

pp. 251-262 ◽

Author(s):

J. B. Paris

Download Full-text