On Theories Having Three Countable Models
Let \(T\) be a countable complete theory. Is has been conjectured that, if \(T\) has only finitely many (non-isomorphic) countable models, then \(T\) must be unstable. The paper under review examines this conjecture when \(T\) is almost \(\omega\)-categorical, i.e. satisfies the following property: For any types \(p_1(x_1), \dots, p_n(x_n)\) over the empty set, there are only finitely many types (also over \(\emptyset\)) extending \(p_1(x_1) \cup \ldots \cup p_n(x_n)\). Previous work of the second author (and others) implies that, if \(T\) is almost \(\omega\)-categorical and \(T\) has only finitely many countable models, then \(T\) is unstable. Here a stronger result is proved. In fact, it is shown that, if \(T\) satisfies the additional assumption that there are exactly three countable models, then \(T\) even interprets a dense linear ordering.
- Upper bounds for growth in the Ryll-Nardzewski function of an \(\omega{}\)- categorical, \(\omega{}\)-stable theory
- Maximality of the countable spectrum in small quite o-minimal theories
- \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories
- A criterion for binarity of almost -categorical weakly o -minimal theories
- Algebras of distributions of binary isolating formulas for almost -categorical weakly o-minimal theories
- Binarity of almost \(\omega \)-categorical quite o-minimal theories
- Almost \(\omega \)-categorical weakly o-minimal theories of convexity rank 1
- On freedom and independence in hypergraphs of models of theories
- Linearly ordered theories which are nearly countably categorical
- On almost omega-categoricity of weakly o-minimal theories
- On theories having a finite number of nonisomorphic countable models
- On definability of types and relative stability
- On relative separability in hypergraphs of models of theories
- On interpretability of almost linear orderings
- Non-trivial expansions of 1-transitive ordered theories
- Variations of rigidity for models of weakly o-minimal theories
- The countable spectrum of weakly o-minimal theories of finite convexity rank
- Theories with constants and three countable models
- Semi-isolation and the strict order property
This page was built for publication: On Theories Having Three Countable Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4393166)
