半孤立性与严格序性质
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
