Sayed Ahmed, Tarek. “Omitting Types in Fragments and Extensions of First Order Logic”. Bulletin of the Section of Logic 50, no. 3 (May 28, 2021): 249–287. Accessed July 23, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/9884.