arXiv:1704.00220 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords finite big ramsey degrees, universal triangle-free graph, strong coding tree, finite subtrees, strict similarity types Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset