Атомные модели центра ∆ -М-теорий в обогащенной сигнатуре
| dc.contributor.author | Ешкеев, А.Р. | |
| dc.contributor.author | Сабитова, А.Р. | |
| dc.date.accessioned | 2019-04-06T03:48:30Z | |
| dc.date.available | 2019-04-06T03:48:30Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | В статье рассмотрены некоторые виды атомных моделей ∆ -М теорий в обогащённой сигнатуре. Для этих теорий приведен критерий (n+1) - ∆ -позитивной экзистенциально замкнутой атомности с по- мощью существования специальных видов атомных моделей. Основным методом исследования дан- ной работы является семантический метод для йонсоновских теорий. Его сущность заключается в пе- реносе теоретико-модельных свойств центра на саму теорию. | ru_RU |
| dc.identifier.citation | Ешкеев А.Р. Атомные модели центра ∆ -М-теорий в обогащенной сигнатуре /А.Р.Ешкеев, А.Р.Сабитова //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2013.-№2.-Р.77-81 | ru_RU |
| dc.identifier.issn | 0142-0843 | |
| dc.identifier.uri | https://rep.buketov.edu.kz:80//handle/data/4868 | |
| dc.language.iso | en | ru_RU |
| dc.publisher | Изд-во КарГУ | ru_RU |
| dc.relation.ispartofseries | Вестник Карагандинского университета. Серия Математика;№2(70)/2013 | |
| dc.subject | обогащенная сигнатура | ru_RU |
| dc.subject | позитивный | ru_RU |
| dc.subject | атомарные формулы | ru_RU |
| dc.subject | экзистенционально замкнутый | ru_RU |
| dc.subject | аксиоматизируема | ru_RU |
| dc.subject | атомные формулы | ru_RU |
| dc.subject | йонсоновские теории | ru_RU |
| dc.title | Атомные модели центра ∆ -М-теорий в обогащенной сигнатуре | ru_RU |
| dc.title.alternative | Қаныққан сигнатурадағы ∆ -М-теория орталығының атомдық модельдері | ru_RU |
| dc.title.alternative | Аtomic models of the center ∆ -M-theories in the enriched signature | ru_RU |
| dc.type | Article | ru_RU |