Pseudofinite unar theory with arbitrary number of semichains and antichains

2026

Толық мәтін Ашық қол жеткізу: Gold Метадеректер (CSL-JSON)
DOI 10.32523/2077-9879-2026-17-2-39-48
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

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

Аңдатпа

The paper focuses on constructing a pseudofinite theory of a unar with an arbitrary number of antichains and semichains and studying its model-theoretic properties. The question of elementary equivalence of unars with different numbers of antichains and semichains remains open. The obtained theory is shown to be omega-stable, strengthening the known result stating that all complete theories of unars are superstable. Prime models of this theory turn out to be omega-categorical, implying their smooth approximability.