Open Access
2015 Semi-Isolation and the Strict Order Property
Sergey Sudoplatov, Predrag Tanović
Notre Dame J. Formal Logic 56(4): 555-572 (2015). 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.

Citation

Download Citation

Sergey Sudoplatov. Predrag Tanović. "Semi-Isolation and the Strict Order Property." Notre Dame J. Formal Logic 56 (4) 555 - 572, 2015. https://doi.org/10.1215/00294527-3153579

Information

Received: 12 November 2012; Accepted: 27 August 2013; Published: 2015
First available in Project Euclid: 30 September 2015

zbMATH: 1372.03058
MathSciNet: MR3403091
Digital Object Identifier: 10.1215/00294527-3153579

Subjects:
Primary: 03C15
Secondary: 03C45

Keywords: nonisolated type , powerful type , semi-isolation , Small theory

Rights: Copyright © 2015 University of Notre Dame

Vol.56 • No. 4 • 2015
Back to Top