On interpretability in theories containing arithmetic
Volume 76 / 1972
Fundamenta Mathematicae 76 (1972), 131-137
DOI: 10.4064/fm-76-2-131-137