Барлық параметрлер сіздің құрылғыңызда сақталады.
2023
Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.
Roughly speaking, an ordered structure $$(M,<,\dots)$$ is o-stable if any cut in $$M$$ has a few extensions up to complete 1-types over $$M$$ . A theory is o-stable if all its models are. O-stability is a generalization of (weak) o-minimality and quasi-o-minimality by using the notion of a stable theory. In the paper, we prove that no proper (essential) expansion of the ordered group of integers $$(\mathbb{Z},<,+)$$ has an o-stable theory.