Omitting types for finite variable fragments and complete representations of algebras

Tarek Sayed Ahmed, Hajnal Andréka, István Németi. Omitting types for finite variable fragments and complete representations of algebras. Journal of Symbolic Logic, 73(1):65-89, 2008. [doi]

Abstract

Abstract is missing.