Prefer a chat interface with context about you and your work?
Semi-Isolation and the Strict Order Property
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.