Omitting Types and the Baire Category Theorem

Christopher J. Eagle, Franklin D. Tall

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. Wo…