TY - RPRT TI - Omitting Types and the Baire Category Theorem AU - Christopher J. Eagle AU - Franklin D. Tall PY - 2017 UR - https://arxiv.org/abs/1710.05889 ID - 1710.05889 ER -