Об атомных моделях

Изучается вопрос о существовании атомной модели над множеством. Указаны некоторые условия, при которых плотность главных типов над данным множеством влечет существование простой атомной модели над этим множеством. Построен пример, показывающий, что плотность главных типов над множеством в общем случае не влечет существования атомной модели над этим множеством.