Sayed Ahmed, T. “Omitting Types in Fragments and Extensions of First Order Logic”. Bulletin of the Section of Logic, vol. 50, no. 3, May 2021, pp. 249-87, doi:10.18778/0138-0680.2021.13.