Sayed Ahmed, T. Omitting Types in Fragments and Extensions of First Order Logic. B Sect Log 2021, 50, 249-287.