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.
Cites work
- scientific article; zbMATH DE number 3183991 (Why is no real title available?)
- A note on countable complete theories having three isomorphism types of countable models
- Conditions for non-symmetric relations of semi-isolation
- Definability and decision problems in arithmetic
- Existentially closed dimension groups
- Models of superstable Horn theories
- On Theories Having Three Countable Models
- Powerful types in small theories
- Remarks on countable models
- Theories with a finite number of countable models
- Theories with constants and three countable models
Cited in
(5)- On constants and the strict order property
- Ranks, spectra and their dynamics for families of constant expansions of theories
- Constructing strict left (right)-disjunctive left (right) semi-uninorms and coimplications satisfying the order property
- Combinations related to classes of finite and countably categorical structures and their theories
- Closures and generating sets related to combinations of structures
This page was built for publication: Semi-isolation and the strict order property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q894254)
