Switch to: References

Add citations

You must login to add citations.
  1. Omitting Types in Fragments and Extensions of First Order Logic.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (3):249-287.
    Fix \. Let \ denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \ and for infinitary variants and extensions of \.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark