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