Forcing on bounded arithmetic (1998)

by GAISI TAKEUTI, MASAHIRO YASUMOTO
Venue:II, The Journal of Symbolic Logic