Paires de structures O-minimales

1998

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

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

Аңдатпа

Resumo Ni montras propecon de eljeteco de la kvantoro (∃y ∈ M) pri la (sufice) belaj paroj de modeloj de una O-plimalpova teorio. Gi havas korolaron ke, se ni aldonas malkavajn unarajn predikatojn a la lingvo de kelka O-plimalpova strukturo, ni ricevas malforte O-plimalpovan strukturon. Tui ci rezultato estis en speciala kaso pruvita de [5], kaj la gia generalizeco estis anoncita en [1].