Классификация Δ-РМ-теорий по Δ-РМ-косемантичности в допустимых обогащениях сигнатуры
| dc.contributor.author | Ешкеев, А.Р. | |
| dc.contributor.author | Алимова, Б.Ш. | |
| dc.contributor.author | Битимхан, М.Б. | |
| dc.date.accessioned | 2019-04-06T03:19:57Z | |
| dc.date.available | 2019-04-06T03:19:57Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | В статье рассмотрено обогащение сигнатуры позитивных йонсоновских теорий. Основной задачей яв- ляется классификация позитивных йонсоновских теорий и их классов позитивных экзистенциально замкнутых моделей. Авторами предложена классификация рассматриваемых теорий в рамках пози- тивной косемантичности теории и моделей. Получены условия позитивной элементарной эквивалент- ности для различных классов позитивных йонсоновских теорий. | ru_RU |
| dc.identifier.citation | Ешкеев А.Р. Классификация Δ-РМ-теорий по Δ-РМ-косемантичности в допустимых обогащениях сигнатуры /А.Р.Ешкеев, Б.Ш.Алимова, М.Б.Битимхан //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2013.-№2.-Р.70-76 | ru_RU |
| dc.identifier.issn | 0142-0843 | |
| dc.identifier.uri | https://rep.buketov.edu.kz:80//handle/data/4867 | |
| 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.title | Классификация Δ-РМ-теорий по Δ-РМ-косемантичности в допустимых обогащениях сигнатуры | ru_RU |
| dc.title.alternative | Байытуға рұқсат етілген сигнатурада косемантикалылық бойынша Δ-PM-теориялардың классификациясы | ru_RU |
| dc.title.alternative | The classification of the Δ-PM theories by Δ-PM cosemanticness in the admissible enrichment of the signature | ru_RU |
| dc.type | Article | ru_RU |