Semi-isolation and the strict order property
Logic
2016-02-10 v1
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.
Keywords
Cite
@article{arxiv.1307.0604,
title = {Semi-isolation and the strict order property},
author = {Sergey Sudoplatov and Predrag Tanović},
journal= {arXiv preprint arXiv:1307.0604},
year = {2016}
}
Comments
Submitted to Notre Dame Journal of Formal Logic