Omitting types in incomplete theories
conditions for the realizability of types
scientific article; zbMATH DE number 883468