Maximality of the countable spectrum in small quite o-minimal theories
The author gives a criterion for a small binary quite o-minimal theory of finite convexity rank to have \(2^{\omega}\) (non-isomorphic) countable models. Some of the tools are: \((p,q)\)-splitting formulas and equivalence generating \(p\)-stable convex to the right (left, respectively) formulas.
scientific article; zbMATH DE number 7140977
scientific article