Sayed Ahmed, Tarek. 2021. “Omitting Types in Fragments and Extensions of First Order Logic”. Bulletin of the Section of Logic 50 (3):249-87. https://doi.org/10.18778/0138-0680.2021.13.