Partially definable forcing and bounded arithmetic | Publicación