Switch to: References

Add citations

You must login to add citations.
  1. Semi-Isolation and the Strict Order Property.Sergey Sudoplatov & Predrag Tanović - 2015 - Notre Dame Journal of Formal Logic 56 (4):555-572.
    We study semi-isolation as a binary relation on the locus of a complete type and prove that—under some additional assumptions—it induces the strict order property.
    Download  
     
    Export citation  
     
    Bookmark  
  • Asymmetric RK-minimal types.Predrag Tanović - 2010 - Archive for Mathematical Logic 49 (3):367-377.
    We consider semi-isolation on the locus of a strongly non-isolated, RK-minimal type in a small theory, and we prove that its asymmetry (as a binary relation) is caused by a specific form of the strict order property: the partial definability of semi-isolation.
    Download  
     
    Export citation  
     
    Bookmark   1 citation