Abstract:
В этой статье рассмотрены некоторые виды атомных моделей -М теорий в обогащённой сигнатуре. Для
этих теорий приведен критерий (n + 1) - -позитивной экзистенциально замкнутой атомности с
помощью существования специальных видов атомных моделей. Основным методом
исследования данной работы является семантический метод для йонсоновских теорий. Его сущность
заключается в переносе теоретико-модельных свойств центра на саму теорию.