1. The interpretability logic of Peano arithmetic,;BERARDUCCI;J. Symb. Logic,1993
2. Arithmetization of metamathematics in a general setting,;FEFERMAN;Fund. Math.,1960
3. l-consistency and faithful interpretations,;FEFERMAN;Arch. Math. Logic,1960
4. On the interpretability of some extensions of arithmetic,;GORYACHEV;Mat. Zametki,1986