arXiv:1704.06827 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords tail cone version, large cardinal, halpern-läuchli theorem, larger saturation, finitely branching perfect trees Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset