Барлық параметрлер сіздің құрылғыңызда сақталады.
2013
Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.
Abstract A theory is stable up to Δ if any Δ‐type over a model has a few extensions up to complete types. We prove that a theory has no the independence property iff it is stable up to some Δ, where each \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\varphi (x;\bar{y}) \in \Delta$\end{document} has no the independence property.