An Equivalence between Second Order Bounded Domain Bounded Arithmetic and First Order Bounded Arithmetic (1993)

by Alexander A Razborov
Venue:In Peter Clote and Jan Krajíček, editors, Arithmetic, Proof Theory and Computational Complexity