Semi-isolation and the strict order property
From MaRDI portal
Publication:894254
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
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