arXiv:1601.00041 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords combinations, structures, unary predicates Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset