<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">kaz29</journal-id><journal-title-group><journal-title xml:lang="ru">Вестник Казахстанско-Британского технического университета</journal-title><trans-title-group xml:lang="en"><trans-title>Herald of the Kazakh-British Technical University</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1998-6688</issn><issn pub-type="epub">2959-8109</issn><publisher><publisher-name>Казахстанско-Британский Технический Университет</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.55452/1998-6688-2026-23-3-47-54</article-id><article-id custom-type="elpub" pub-id-type="custom">kaz29-3174</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>МАТЕМАТИЧЕСКИЕ НАУКИ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>MATHEMATICAL SCIENCES</subject></subj-group></article-categories><title-group><article-title>О ЛОКАЛЬНОМ АНАЛОГЕ СВОЙСТВА СТРОГОГО ПОРЯДКА ВНУТРИ СЕЧЕНИЯ ДЛЯ ЛИНЕЙНО УПОРЯДОЧЕННЫХ СТРУКТУР</article-title><trans-title-group xml:lang="en"><trans-title>ON A LOCAL ANALOGUE OF THE STRICT ORDER PROPERTY INSIDE A CUT FOR LINEARLY ORDERED STRUCTURES</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><contrib-id contrib-id-type="orcid">https://orcid.org/0000-0001-5177-8523</contrib-id><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Вербовский</surname><given-names>В. В.</given-names></name><name name-style="western" xml:lang="en"><surname>Verbovskiy</surname><given-names>V. V.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Доктор физико-математических наук, доцент</p><p>Алматы</p></bio><bio xml:lang="en"><p>Doctor of Physical and Mathematical Sciences, Docent</p><p>Almaty</p></bio><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Институт математики и математического моделирования;&#13;
Казахский национальный исследовательский технический университет им. К.И. Сатпаева</institution><country>Казахстан</country></aff><aff xml:lang="en"><institution>Institute of Mathematics and Mathematical Modeling;&#13;
Satbayev University</institution><country>Kazakhstan</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2026</year></pub-date><pub-date pub-type="epub"><day>24</day><month>09</month><year>2026</year></pub-date><volume>23</volume><issue>3</issue><fpage>47</fpage><lpage>54</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Вербовский В.В., 2026</copyright-statement><copyright-year>2026</copyright-year><copyright-holder xml:lang="ru">Вербовский В.В.</copyright-holder><copyright-holder xml:lang="en">Verbovskiy V.V.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://vestnik.kbtu.edu.kz/jour/article/view/3174">https://vestnik.kbtu.edu.kz/jour/article/view/3174</self-uri><abstract><p>В работе исследуется локальный аналог свойства строгого порядка внутри сечения для линейно упорядоченных структур, возникающий в теории упорядоченно стабильных моделей. Рассматрива­ется естественная попытка сформулировать это свойство через конечные цепи строго вложенных формульных подмножеств, пересеченных с реализациями сечения. Показано, что в такой формули­ровке это свойство не является элементарным: она может выполняться в элементарном расширении, но не сохраняться в исходной модели и, следовательно, не дает корректного локального критерия. Для устранения этого недостатка вводится понятие строгой вложенности выпуклых компонент опре­делимых множеств, а также его равномерная версия для семейств формул с параметрами. Доказы­вается, что свойство строгого порядка внутри сечения эквивалентно существованию равномерного свойства вложенности выпуклых компонент. Полученный результат уточняет локальную природу данного свойства, показывает его отличие от классического локального свойства строгого порядка и позволяет применять его при исследовании упорядоченно стабильных теорий и их моделей. Тем самым работа дополняет критерий упорядоченной стабильности.</p></abstract><trans-abstract xml:lang="en"><p>The paper studies a local analogue of the strict order property inside a cut for linearly ordered structures, arising in the theory of order-stable models. A natural attempt to formulate this property in terms of finite c hains o f s trictly n ested d efinable su bsets in tersected wi th re alizations of a cu t is considered. It is shown that such a formulation is not elementary: it may hold in an elementary extension but fail to be preserved in the original model and therefore does not provide a correct local criterion. To overcome this drawback, the notion of strict inclusion of convex components of definable s ets i s i ntroduced, together with its uniform version for families of formulas with parameters. It is proved that the strict order property inside a cut is equivalent to the existence of the uniform property of inclusion of convex components. The obtained result clarifies t he l ocal n a ture o f t his p r operty, s hows i ts d i fference fr om th e cl as sical lo cal strict order property, and makes it applicable to the study of order-stable theories and their models. Thus, the paper complements the criterion of order-stability.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>линейно упорядоченное множество</kwd><kwd>о-минимальность</kwd><kwd>упорядоченная стабильность</kwd><kwd>свойство строгого порядка.</kwd></kwd-group><kwd-group xml:lang="en"><kwd>linearly ordered set</kwd><kwd>o-minimality</kwd><kwd>o-stability</kwd><kwd>strict order property</kwd></kwd-group><funding-group><funding-statement xml:lang="ru">Работа поддержана Комитетом науки Министерства науки и высшего образования Республики Казахстан, грант BR28713025</funding-statement></funding-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Baizhanov, B., Verbovskii, V. O-stable theories. Algebra and Logic 50 (2011), no 3, 211–225. https://doi.org/10.1007/s10469-011-9136-7</mixed-citation><mixed-citation xml:lang="en">Baizhanov, B., Verbovskii, V. O-stable theories. Algebra and Logic 50 (2011), no 3, 211–225. https://doi.org/10.1007/s10469-011-9136-7</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Morley, M. Categoricity in power. Transactions of the American Mathematical Society. 1965. V. 114.P. 514–538. https://doi.org/10.1090/S0002-9947-1965-0175782-0</mixed-citation><mixed-citation xml:lang="en">Morley, M. Categoricity in power. Transactions of the American Mathematical Society. 1965. V. 114.P. 514–538. https://doi.org/10.1090/S0002-9947-1965-0175782-0</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Shelah, S. Classification Theory and the Number of Nonisomorphic Models (1978, 2nd ed. 1990).</mixed-citation><mixed-citation xml:lang="en">Shelah, S. Classification Theory and the Number of Nonisomorphic Models (1978, 2nd ed. 1990).</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Verbovskiy, V.V. O-stable ordered groups. Siberian Advances in Mathematics, 22 (2012), 50–74. https://doi.org/10.3103/S105513441201004X</mixed-citation><mixed-citation xml:lang="en">Verbovskiy, V.V. O-stable ordered groups. Siberian Advances in Mathematics, 22 (2012), 50–74. https://doi.org/10.3103/S105513441201004X</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Verbovskiy, V. V. On definability of types and relative stability, Mathematical Logic Quarterly, 65 (3), 332–346 (2019). https://doi.org/10.1002/malq.201600084</mixed-citation><mixed-citation xml:lang="en">Verbovskiy, V. V. On definability of types and relative stability, Mathematical Logic Quarterly, 65 (3), 332–346 (2019). https://doi.org/10.1002/malq.201600084</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Verbovskiy, V.V., Yershigeshova, A.D. On non-essentiality of an o-stable expansion of (Z, Lobachevskii Journal of Mathematics, 44, 5485–5492 (2023). https://doi.org/10.1134/S1995080223120387</mixed-citation><mixed-citation xml:lang="en">Verbovskiy, V.V., Yershigeshova, A.D. On non-essentiality of an o-stable expansion of (Z, Lobachevskii Journal of Mathematics, 44, 5485–5492 (2023). https://doi.org/10.1134/S1995080223120387</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Verbovskiy, V.V. On the function depth in an o-stable ordered group of a finite convexity rank. Kazakh Mathematical Journal, 25 (2), 25–35 (2025). https://doi.org/10.70474/6tx4zj76</mixed-citation><mixed-citation xml:lang="en">Verbovskiy, V.V. On the function depth in an o-stable ordered group of a finite convexity rank. Kazakh Mathematical Journal, 25 (2), 25–35 (2025). https://doi.org/10.70474/6tx4zj76</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
