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