arXiv:1403.1805 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first order algebra, universal theory, finite relational signature, first order formulas, quantifier-free algebras Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset