On One Laura Mayer’s Theorem

2025

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

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

Аңдатпа

The article’s primary focus is on the study of the number of countable non-isomorphic models of linearly ordered theories. The orthogonality of 1-types and their convex closures is employed to analyse a class of theories with a specific type of monotonic non-orthogonality, which includes weakly o-minimal theories. For such theories, a theorem analogous to L. Mayer’s result on the independence of any pairwise independent family of 1-types in o-minimal theories is proven. The article provides conditions for the infinity and maximality of the countable spectrum of weakly o-minimal theories.