arXiv:1405.7456 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords generic extension, computable structures, ground model, forcing notion, countable structure Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset