Notre Dame Journal of Formal Logic

Semi-Isolation and the Strict Order Property

Sergey Sudoplatov and Predrag Tanović

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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.

Article information

Source
Notre Dame J. Formal Logic, Volume 56, Number 4 (2015), 555-572.

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

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1443620506

Digital Object Identifier
doi:10.1215/00294527-3153579

Mathematical Reviews number (MathSciNet)
MR3403091

Zentralblatt MATH identifier
1372.03058

Subjects
Primary: 03C15: Denumerable structures
Secondary: 03C45: Classification theory, stability and related concepts [See also 03C48]

Keywords
small theory nonisolated type semi-isolation powerful type

Citation

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


Export citation

References

  • [1] Baizhanov, B. S., S. V. Sudoplatov, and V. V. Verbovskiy, “Conditions for non-symmetric relations of semi-isolation,” Siberian Electronic Mathematical Reports, vol. 9 (2012), pp. 161–84.
  • [2] Benda, M., “Remarks on countable models,” Fundamenta Mathematicae, vol. 81 (1973/74), pp. 107–19.
  • [3] Ikeda, K., A. Pillay, and A. Tsuboi, “On theories having three countable models,” Mathematical Logic Quarterly, vol. 44 (1998), pp. 161–66.
  • [4] Peretjat’kin, M. G., “Complete theories with a finite number of countable models” (in Russian), Algebra i Logika, vol. 12 (1973), pp. 550–76; English translation in Algebra and Logic, vol. 12 (1973), pp. 310–26.
  • [5] Pillay, A., “Instability and theories with few models,” Proceedings of the American Mathematical Society, vol. 80 (1980), pp. 461–68.
  • [6] Saffe, J., E. A. Palyutin, and S. S. Starchenko, “Models of superstable Horn theories” (in Russian), Algebra i Logika, vol. 24 (1985), pp. 278–326; English translation in Algebra and Logic, vol. 24 (1985), pp. 171–210.
  • [7] Sudoplatov, S. V., “Powerful types in small theories,” Siberian Mathematical Journal, vol. 31 (1990), pp. 629–38.
  • [8] Sudoplatov, S. V., The Lachlan Problem (in Russian), Edition of Novosibirsk State Technical University, Novosibirsk, Russia, 2009.
  • [9] Tanović, P., “Theories with constants and three countable models,” Archive for Mathematical Logic, vol. 46 (2007), pp. 517–27.
  • [10] Tanović, P., “Asymmetric RK-minimal types,” Archive for Mathematical Logic, vol. 49 (2010), pp. 367–77.
  • [11] Vaught, R. L., “Denumerable models of complete theories,” pp. 303–21 in Infinitistic Methods (Warsaw, 1959), Pergamon, Oxford, 1961.
  • [12] Woodrow, R. E., “A note on countable complete theories having three isomorphism types of countable models,” Journal of Symbolic Logic, vol. 41 (1976), pp. 672–80.
  • [13] Woodrow, R. E., “Theories with a finite number of countable models,” Journal of Symbolic Logic, vol. 43 (1978), pp. 442–55.