The object of research, development or design (in Russian) : Гибриды и их классы моделей

The object of research, development or design (in Kazakh) : Гибридтер және олардың модельдерінің кластары

Aim of work (in Russian) : Цель проекта – найти описание малых моделей и соответствующих фрагментов, которые соответствуют оболочкам Кайзера для определимых подмножеств семантической модели фиксированной йонсоновской теории или фиксированного йонсоновского спектра.

Aim of work (in Kazakh) : Жобаның мақсаты – бекітілген йонсондық теорияның немесе бекітілген йонсондық спектрдің семантикалық моделінің анықталатын ішкі жиындары үшін Кайзер қабықшаларына сәйкес келетін кішігірім модельдер мен сәйкес фрагменттердің сипаттамасын табу.

Методы исследования (на русском) : Семантический метод

Методы исследования (на казахском) : Сематикалық әдіс

Obtained results and novelty (in Russian) : 4. Получена характеризация малых моделей гибрида фрагментов теоретических множеств, соединённых через некоторый реостат, включая свойства соответствующих решёток экзистенциальных формул, синтаксического и семантического подобия двух гибридов. 5. Получена характеризация теоретико-модельных свойств гибридов фрагментов теоретических множеств для малых моделей, включая условия категоричности и описания определимых подмножеств, характеризующих модельную структуру соответствующих гибридов. Получен критерий счетно категоричной теории S-полигона, синтаксически подобной робинсоновскому гибриду этих классов. Опубликована статья в журнале «Bulletin of the Karaganda University Mathematics Series», входящем в базу данных Scopus (CiteScore - 1.4, SJR - 0.392, SNIP - 0.635, Процентиль - 53). Mussina, N., & Ulbrikht, O. (2025). The representation theorem of the Robinson hybrid. Bulletin of the Karaganda University. Mathematics Series, 119(3), 184–199. https://doi.org/10.31489/2025m3/184-199

Obtained results and novelty (in Kazakh) : 4. Теоретикалық жиындар фрагменттерінің белгілі бір реостат арқылы байланысқан гибридінің кішігірім модельдерінің сипаттамасы алынды, сонымен қатар тиісті экзистенциалды формулалар торларының қасиеттері мен екі гибридтің синтаксистік және семантикалық ұқсастығы қарастырылды. 5. Теоретикалық жиындар фрагменттерінің гибридтерінің кішігірім модельдері үшін модельді-теоретикалық қасиеттерінің сипаттамасы алынды, соның ішінде категориялылық шарттары мен тиісті гибридтердің модельді құрылымын сипаттайтын анықталатын ішкі жиындардың сипаттамасы берілді. S-полигонның саналымды категориялық теориясының, осы кластардың Робинсондық гибридіне синтаксистік ұқсас болатын критерийі алынды. Scopus дерекқорына кіретін «Bulletin of the Karaganda University. Mathematics Series» журналында мақала жарияланды (CiteScore – 1.4, SJR – 0.392, SNIP – 0.635, Пайыздық көрсеткіші – 53). Mussina, N., & Ulbrikht, O. (2025). The representation theorem of the Robinson hybrid. Bulletin of the Karaganda University. Mathematics Series, 119(3), 184–199. https://doi.org/10.31489/2025m3/184-199

The main constructive and technical economic indicators (in Russian) : не предусмотрено проектом

The main constructive and technical economic indicators (in Kazakh) : жоба бойынша қарастырылмаған

Level of implementation (in Russian) : Результаты исследований опубликованы в основных выводах и представлены на международных научных конференциях.

Level of implementation (in Kazakh) : Зерттеу нәтижелері негізгі тұжырымдарды жариялау және оларды халықаралық ғылыми конференцияларда ұсынылды.

Efficiency (in Russian) : Одним из ключевых понятий современной теории моделей является исследование связи между модельно-теоретическими характеристиками особых определимых подмножеств фиксированной модели некоторой теории. Важную роль здесь играют и гибриды малых моделей, позволяющие более тонко выявлять поведение таких подмножеств в разных локальных структурах. Эту взаимосвязь можно использовать для анализа существующих нерешённых проблем, рассматривая их через задачи, которые вписываются в более широкие исследовательские рамки.

Efficiency (in Kazakh) : Қазіргі заманғы модельдер теориясындағы негізгі тұжырымдамалардың бірі - берілген теорияның бекітілген моделінің нақты анықталатын ішкі жиынтықтарының модельді-теоретикалық сипаттамалары арасындағы байланысты зерттеу. Кішігірім модельдердің гибридтері де мұнда маңызды рөл атқарады, бұл әртүрлі жергілікті құрылымдардағы мұндай ішкі жиынтықтардың сипаттамасын толығырақ түсінуге мүмкіндік береді. Бұл байланысты кеңірек зерттеу аясына сәйкес келетін тапсырмалар арқылы шешілетін, шешілмеген мәселелерді талдау үшін пайдалануға болады.

Field of application (in Russian) : Теория моделей

Field of application (in Kazakh) : Модельдер теориясы