Non-totally transcendental unidimensional theories (Q922524)

The authors present a proof of the Buechler-Newelski result establishing Vaught's conjecture for countable unidimensional theories of rank 1. Their proof assumes Newelski's confirmation of Saffe's conjecture for such theories. In part II of the paper unidimensional theories with non trivial types are considered. An omitting types theorem is proved which gives non-modular models of such theories. This shows that the prime models of non trivial theories categorical in higher power omit all modular rank 1 types. The main result of part III is that for a non- trivial countable uni-dimensional theory having less than continuum many models the non-modular models are atomic over a finite set.