Lifting independence results in bounded arithmetic (1999)

by M Chiari, J Krajíček
Venue:Archive for Mathematical Logic