On structures in hypergraphs of models of a theory

B. Sh. Kulpeshov, Sergey Vladimirovich Sudoplatov

2018

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

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

Аңдатпа

On structures in hypergraphs of models of a theoryHypergraphs of models of a theory are derived objects allowing toobtain an essential structural information about both giventheories and related semantic objects including graph ones.In the present paper we define and study structural properties of hypergraphs of modelsof a theory including lattice ones.Characterizations for thelattice properties of hypergraphs of models of a theory, as wellas for structures on sets of isomorphism types of models of atheory, are given.