A. Beckmann: "Preservation theorems and restricted consistency statements in bounded arithmetic"; Annals of Pure and Applied Logic, 126 (2004), 255 - 280.