arXiv:1710.05889 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords baire category theorem, stronger baire category conditions, classical omitting types theorem holds, stronger omitting types theorems, produce abstract logics Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset