Атомные и позитивно экзистенциально-замкнутые модели центра ∆- PM -теорий в обогащенной сигнатуре
| dc.contributor.author | Ешкеев, А.Р. | |
| dc.contributor.author | Макажанова, Т.Х. | |
| dc.contributor.author | Муканов, А.А. | |
| dc.date.accessioned | 2019-04-19T05:34:00Z | |
| dc.date.available | 2019-04-19T05:34:00Z | |
| dc.date.issued | 2011 | |
| dc.description.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. | ru_RU |
| dc.identifier.citation | Ешкеев А.Р. Атомные и позитивно экзистенциально-замкнутые модели центра ∆- PM -теорий в обогащенной сигнатуре /А.Р.Ешкеев, Т.Х.Макажанова, А.А.Муканов //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2011.-№2.-Р.50-53 | ru_RU |
| dc.identifier.issn | 0142-0843 | |
| dc.identifier.uri | https://rep.buketov.edu.kz:80//handle/data/5243 | |
| dc.language.iso | en | ru_RU |
| dc.publisher | Изд-во КарГУ | ru_RU |
| dc.relation.ispartofseries | Вестник Карагандинского университета. Серия Математика;№2(62)/2011 | |
| dc.title | Атомные и позитивно экзистенциально-замкнутые модели центра ∆- PM -теорий в обогащенной сигнатуре | ru_RU |
| dc.title.alternative | Atomic and positive existentially closed model of centre of ∆ - PM -theories in enriched signature | ru_RU |
| dc.type | Article | ru_RU |