Sayed Ahmed T. Omitting Types in Fragments and Extensions of First Order Logic. B Sect Log [Internet]. 2021 May 28 [cited 2024 Apr. 26];50(3):249-87. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/9884