Complexity estimates for theories of some classes of prime models

Mikhail G. Peretyat’kin

2025

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

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

Аңдатпа

The problems of algorithmic characterization in subclasses of the class of prime models of a finite rich signature are studied. Models with algebraic elements and models with first-order definable elements are considered. Conditions for the existence of strong constructivizations of models of different dimensions in these classes are formulated. Estimates of the algorithmic complexity of elementary theories of some subclasses of the class of prime strongly constructivizable models are given.