Chains of existentially closed models of positive (n1, n2)-Jonsson theories

Aibat R. Yeshkeyev, M.T. Omarova

2019

Толық мәтін Ашық қол жеткізу: Gold Метадеректер (CSL-JSON)
DOI 10.31489/2019m4/69-74
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.

Аңдатпа

Chains of existentially closed models of positive (n 1 , n 2 )-Jonsson theoriesIn this article are considered model-theoretical properties of chains of positive (n1, n2)-Jonsson theories.Herewith considered theories is perfect in the sense of the existence of appropriate model companion.The main obtained results are as follows: introduced new concepts n2-elimination of quantifier for positive theory, (n1, n2)-Jonsson theory, n1-Jonsson chain; indicated a feature of perfect (n1, n2)-positive Jonsson theory.