J. Pich,, “Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic”, Log. Methods Comput. Sci., 11:2 (2015), 8, 38 pp.
J. Pich, “Circuit lower bounds in bounded arithmetics”, Ann. Pure Appl. Logic, 166:1 (2015), 29–45