arXiv:1109.6749 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords strongly jump-traceable sets, connect cost function strength, characterizing, computable, full correspondence Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset