О счетно-атомных моделях Δ–PM-теорий в обогащенной сигнатуре

Abstract

Мақала өзінің мазмұны бойынша модельдер теориясына жатады, тақырыбы толық емес индуктивті теориялармен байланысты. Дербес жағдайда индуктивті теориялардың кəдімгі табиғи ішкі кластарын жасайтын йонсондық теориялардың теориялық-модельді қасиеттері қарастырылады. Сондай-ақ байытылған сигнатурадағы Δ–PM-теориялардың атомдық жəне жай модельдерінің кейбір қасиеттері зерттеледі.

The work under the maintenance concerns to the model theory.The theme of the given article is connected with studying incomplete inductive theories. In particula, it is considered model-theoretical properties of jonsson’s theories which form a natural subclass of inductive theories. In the work some properties of atomic and prime models of Δ–PM-theories in the enriched signature are considered.