  The Omitting Types Theorem in model theory and the Baire Category Theorem in
topology are known to be closely linked. We examine the precise relation
between these two theorems. Working with a general notion of logic we show that
the classical Omitting Types Theorem holds for a logic if a certain associated
topological space has all closed subspaces Baire. We also consider stronger
Baire category conditions, and hence stronger Omitting Types Theorems,
including a game version. We use examples of spaces previously studied in
set-theoretic topology to produce abstract logics showing that the game
Omitting Types statement is consistently not equivalent to the classical one.
