Барлық параметрлер сіздің құрылғыңызда сақталады.
2024
Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.
In the paper, we investigate Ehrenfeucht theories, that is, theories which have nitely many countable models but which are not countably categorical.More precisely, we count all possible numbers of countable models of the theory DMT of dense meettrees expanded by several sequences of constants including decreasing ones and by unary predicates with nite realizations.Also, we study the realizations of models over a certain set of formulas based on the Rudin-Keisler preorders on models.