arXiv:2112.07518 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords intermediate logic, nerve criterion, second main result, polyhedral completeness theorem, first main result Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset