Skip to main content
Notre Dame Journal of Formal LogicVolume 56, Issue 4, 2015, Pages 555-572

Semi-isolation and the strict order property(Article)(Open Access)

  • Sudoplatov, S.,
  • Tanović, P.
  Save all to author list
  • aSobolev Institute of Mathematics, Novosibirsk State Technical University, Novosibirsk State University, Novosibirsk, Russian Federation
  • bInstitute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
  • cMathematical Institute, Serbian Academy of Sciences and Arts, Faculty of Mathematics, University of Belgrade, Belgrade, Serbia

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. © 2015 by University of Notre Dame.

Author keywords

Nonisolated typePowerful typeSemi-isolationSmall theory
  • ISSN: 00294527
  • Source Type: Journal
  • Original language: English
  • DOI: 10.1215/00294527-3153579
  • Document Type: Article
  • Publisher: Duke University Press


© Copyright 2015 Elsevier B.V., All rights reserved.

Cited by 3 documents

Dauletiyarova, A.B. , Verbovskiy, V.V.
ON THE NUMBER OF COUNTABLE MODELS OF CONSTANT AND UNARY PREDICATES EXPANSIONS OF THE DENSE MEET-TREE THEORY
(2024) Siberian Electronic Mathematical Reports
Kulpeshov, B.Sh. , Sudoplatov, S.V.
Ranks, Spectra and Their Dynamics for Families of Constant Expansions of Theories | Ранги, спектры и их динамика для семейств константных обогащений теорий
(2023) Bulletin of Irkutsk State University, Series Mathematics
Sudoplatov, S.V.
Combinations related to classes of finite and countably categorical structures and their theories
(2017) Siberian Electronic Mathematical Reports
View details of all 3 citations
Inform me when this document is cited in Scopus:
Set citation alert Set citation feed
{"topic":{"name":"Minimality; Cardinality; Abelian Group","id":76483,"uri":"Topic/76483","prominencePercentile":49.748215,"prominencePercentileString":"49.748","overallScholarlyOutput":0},"dig":"766918c0e4403079517e10183ef40f751ac260142a2ae63b67433c2a9861318a"}

SciVal Topic Prominence

Topic:
Prominence percentile: