An Omitting Types Theorem for Sheaves over Topological Spaces

Andreas B. M. Brunner, Francisco Miraglia. An Omitting Types Theorem for Sheaves over Topological Spaces. Logic Journal of the IGPL, 12(6):525-548, 2004. [doi]

Abstract

Abstract is missing.