On algebras of binary isolating formulas for weakly circularly minimal theoriesof convexity rank 2

2024

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

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

Аңдатпа

This paper is devoted to the study of weakly circularly minimal circularly ordered structures. The simplest example of a circular order is a linear order with endpoints, in which the largest element is identified with the smallest. Another example is the order that arises when going around a circle. A circularly ordered structure is called weakly circularly minimal if any of its definable subsets is a finite union of convex sets and points. A theory is called weakly circularly minimal if all its models are weakly circularly minimal. Algebras of binary isolating formulas are described for ℵ0-categorical 1-transitive non-primitive weakly circularly minimal theories of convexity rank 2 with a trivial definable closure having a monotonic-to-right function to the definable completion of a structure and non-having a non-trivial equivalence relation partitioning the universe of a structure into finitely many convex classes.