Атомные и позитивно экзистенциально-замкнутые модели центра ∆- PM -теорий в обогащенной сигнатуре

Abstract

Мақалада байытылған сигнатурада  - PM теориялардың кейбір атомдық модельдердің түрлері қарастырылған. Бұл теориялардың (n 1) -  -позитивті экзистенциалды тұйық атомдылылығы үшін арнайы түрдегі атомдық модельдері бар болуы арқылы критерийі келтірілді. Бұл жұмыстың негізгі зерттеу тəсілі йонсондық теорияларды зерттейтін семантикалық тəсіл болып табылады. Осы əдістің түйіні — йонсондық теорияның орталығының модельді-теоретикалық қасиеттерін өзіне тасымалдау.

This article discusses some kinds of atomic models -  - PM theories in the enriched signature. It presents a test of (n 1) -  — positive existential atomicity of these theories by the existence of a special type of atomic models. The main research method of this paper is a semantic method for Jonsson theories. Its essence is to transfer the model-theoretic properties of the center on the theory itself.