arXiv:1408.3282 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first order logic, clque guarded fragment, omitting types, complete representations, cylindric-like algebras Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset