arXiv:1804.03798 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords developing takeuti-yasumoto forcing, generic extensions, dual weak pigeonhole principles, yasumoto gave forcing constructions, two-sort bounded arithmetic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset