T. Sayed Ahmed, “Omitting Types in Fragments and Extensions of First Order Logic”, B Sect Log, vol. 50, no. 3, pp. 249–287, May 2021.