arXiv:2204.12203 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords lower bound, upper bound Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset