On Atomic Models
Matematičeskie trudy, Tome 3 (2000) no. 2, pp. 111-128
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
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.