arXiv:2309.10860 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords craig interpolation property, first-order gödel logic, first-order relational languages enjoy, model-theoretic approach Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset