Ranks and Approximations for Families of Ordered Theories

2024

Жабық қол жеткізу Метадеректер (CSL-JSON)
DOI 10.1134/s0001434624090256
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

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

Аңдатпа

Rank values for various families of ordered theories are described as depending on the languages under consideration; a description of $$\mathrm{e}$$ -total transcendence in terms of these languages is also given. Approximations of ordered theories are studied, including approximations by finite and countably categorical orders. Closures are studied and ranks are described for families of ordered theories, including the families of o-minimal and weakly o-minimal theories of various signatures, as well as theories of pure linear orders with various constraints on the discrete parts.