Аңдатпа
We prove that o-minimality is not a model-theoretical property in the sense of Peretyat’kin. We also prove that existence of a prime models need not be preserved under a passage between mutually interpretable theories.
On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories
2016
Жабық қол жеткізу Метадеректер (CSL-JSON)
Бұл баға қалай есептеледі
Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.