Semi-isolation and the strict order property

DOI10.1215/00294527-3153579zbMath1372.03058arXiv1307.0604OpenAlexW1854700576MaRDI QIDQ894254

Predrag Tanović, Sergeĭ Vladimirovich Sudoplatov

Publication date: 30 November 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.0604

zbMATH Keywords

small theorysemi-isolationpowerful typenonisolated type

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of denumerable and separable structures (03C15)

Related Items

Closures and generating sets related to combinations of structures, Ranks, spectra and their dynamics for families of constant expansions of theories, Combinations related to classes of finite and countably categorical structures and their theories

Cites Work

• Unnamed Item
• Powerful types in small theories
• Theories with constants and three countable models
• Conditions for non-symmetric relations of semi-isolation
• Models of superstable Horn theories
• Theories with a finite number of countable models
• A note on countable complete theories having three isomorphism types of countable models
• On Theories Having Three Countable Models
• Remarks on countable models
• Existentially closed dimension groups
• Definability and decision problems in arithmetic