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