Әлсіз о-минималды теориялар, дерлік омега-категориялық реттелген теориялар, оқшалау бинарлық формулалар алгебралары, Р-комбинациялар мен Е-комбинациялар зерттеу объектiсi болып табылады.

Жобаның максаты – реттелген кұрылымдардың теориялы-модельдiк қасиеттерiн зерттеп, сонымен қатар олардың элементарлық теориясын бейнелеп классификациялау.

Модельдер теориясының классикалық әдiстері, соның iшiнде реттелген құрылымдарды зерттеу, сол сияқты, анықталған унарлы функциялардың жүріс-тұрысын талдаумен модельдерді сипаттау, берілген дөңестік рангімен классификациясы арқылы модельдерді зерттеу және тағы да басқа зерттеу әдiстері толып табылады.

Алынған барлық нәтижелер жаңа, іргелі және теоретикалық болып табылады және төмендегідей қорытынды жасауға болады: 1 Дерлік омега-категориялық әлсіз о-минималды теориялардың қасиеттері зерттелінді. 2 Дөңестік рангісі 1 дерлік омега-категориялық әлсіз о-минималды теориялары үшін әлсіз ортогоналды 1-типтер кез келген жиындардың ортогоналдығы дәлелденді. 3 Дөңестік рангісі 1 дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлығы дәделденді.

Кесте бойынша барлық жоспарланған тапсырмалар уақытында және сапалы орындалды. Жүргізілген зерттеулер таза теориялық, іргелі сипатта болды. Есепті кезеңде 9 мақала жарық көрді, оның ішінде 1 мақала Scopus мәліметтер базасына енгізілген «Eurasian Mathematical Journal» журналында; [алықаралық конференциялардың 8 тезисі.

Алынған нәтижелерді математика ғылымының басқа салаларында сияқты модельдер теориясын одан әрі зерттеу үшін қолдануға болады. Зерттеу нәтижелері информатиканың реляциялық мәліметтер қорының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді зерттеудің формальды әдістері сияқты салаларында қолданылады.

Әлсіз о-минималды теориялар, дерлік омега-категориялық реттелген теориялар, оқшалау бинарлық формулалар алгебралары, Р-комбинациялар мен Е-комбинациялар зерттеу объектiсi болып табылады.

Жобаның максаты – реттелген кұрылымдардың теориялы-модельдiк қасиеттерiн зерттеп, сонымен қатар олардың элементарлық теориясын бейнелеп классификациялау.

Модельдер теориясының классикалық әдiстері, соның iшiнде реттелген құрылымдарды зерттеу, сол сияқты, анықталған унарлы функциялардың жүріс-тұрысын талдаумен модельдерді сипаттау, берілген дөңестік рангімен классификациясы арқылы модельдерді зерттеу және тағы да басқа зерттеу әдiстері толып табылады.

Алынған барлық нәтижелер жаңа, іргелі және теоретикалық болып табылады және төмендегідей қорытынды жасауға болады: 1 Дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялары үшін әлсіз ортогоналды 1-типтер кез келген жиындардың ортогоналдығы дәлелденді. 2 Дөңестік рангісі теримндер бойынша дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлық критерийі алынды. Нәтижесінде дөңестік рангісі шектеулі дерлік омега-категориялық әлсіз о-минималды теориялардың бинарлығы анықталды.

Кесте бойынша барлық жоспарланған тапсырмалар уақытында және сапалы орындалды. Жүргізілген зерттеулер таза теориялық, іргелі сипатта болды. Есепті кезеңде 32 мақала жарық көрді, оның ішінде 10 журнал мақаласы: 3 - Web of Science алғашқы үш квартиліне кіретін ғылыми журналдарда (Q1 – Mathematics, Q2 – Algebra and Logic и Q3 – Siberian Mathematical Journal); 6 - Scopus индекстеген ғылыми журналдарда (Lobachevskii Journal of Mathematics – 3, Siberian Electronic Mathematical Reports – 1, Siberian Advances in Mathematics – 1, Известия Иркутского государственного университета, серия математика – 1), 1 - қазақ журналында ( Қазақ математикалық журналы); халықаралық конференциялар материалдарының жинақтарында 22 мақала мен тезистер.

Алынған нәтижелерді математика ғылымының басқа салаларында сияқты модельдер теориясын одан әрі зерттеу үшін қолдануға болады. Зерттеу нәтижелері информатиканың реляциялық мәліметтер қорының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді зерттеудің формальды әдістері сияқты салаларында қолданылады.