Abstract:
The problem is studied of existence of an atomic model over a set. Several conditions are specified under which density of the principal types over a set implies existence of a prime atomic model over this set. An example is constructed demonstrating that density of the principal types over a set does not in general imply existence of an atomic model over this set.
Key words:atomic model, prime model, superstable theory, locally modular theory of finite rank.