A New Version of Orthogonality for 1-Types in Weakly o-Minimal Theories
摘要
We introduce a new version of orthogonality for nonalgebraic 1-types in weakly o-minimal theories, that of almost quite orthogonality. It is stated that the non almost quite orthogonality relation is an equivalence relation. The main result is a criterion for a weakly o-minimal theory of finite convexity rank with 1 < I(T, ω) < 2ω to have exactly 3m6l countable pairwise nonisomorphic models for some nonnegative integers m, l < ω in terms of the orthogonality version presented.