Semi-isolation and the strict order property
arXiv:1307.0604 · doi:10.1215/00294527-3153579
Abstract
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.
arXiv commentSubmitted to Notre Dame Journal of Formal Logic