Semi-Isolation and the Strict Order Property. - Sergey Sudoplatov; Predrag Tanovic (Notre Dame J. Formal Log., 2015)