An omitting types theorem for sheaves over topological spaces - Brunner, Andreas Bernhard Michael; Miraglia Neto, Francisco (Logic Journal of IGPL, 2004)