Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic.

Jiatu Li, Igor C. Oliveira

Browse the full STOC paper archive.