Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
scientific article; zbMATH DE number 7391955
scientific article