%0 Journal Article %A Hájek, Petr %T On interpretability in theories containing arithmetic. II. %J Commentationes Mathematicae Universitatis Carolinae %D 1981 %P 667-688 %V 22 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/CMUC_1981__22_4_a3/ %G en %F CMUC_1981__22_4_a3