Omitting types in incomplete theories | Publicación