ОБЩИЕ СВЕДЕНИЯ


ИРНAP08855544, Номер госрегистрации0120РК00490

НаименованиеСтруктурные свойства почти омега-категоричных упорядоченных теорий

Приоритетное направлениеНаучные исследования в области естественных наук

Вид исследованияФундаментальное

ЗаявительАО «Казахстанско-Британский технический университет»

Научный руководительКулпешов Бейбут Шайыкович

Балл ГНТЭ31

Общая одобренная сумма52028675.5


Ожидаемые результаты

Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем: 1 Доказана ортогональность произвольного семейства попарно слабо ортогональных 1-типов для почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости. 2 Получен критерий бинарности почти омега-категоричных слабо о-минимальных теорий в терминах ранга выпуклости. В качестве следствия установлена бинарность почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости.


Скачать отчет за 2020 год (Русская версия)

Реферат (Абстракт) - 2020 год

Объект исследования, разработки или проектирования

Объектом исследования являются слабо о-минимальные теории, почти омега-категоричные упорядоченные теории, алгебры распределения изолирующих бинарных формул, Р-комбинации и Е-комбинации.

Цель работы

Цель проекта – исследование теоретико-модельных свойств упорядоченных структур, а также их элементарных теорий, их описание и классификация.

Методы исследования

Методами исследований являются классические методы теории моделей, в частности, методы исследования упорядоченных структур, такие как описание моделей посредством анализа поведения определимых унарных функций, исследование моделей посредством классификации по введенному рангу выпуклости и другие.

Полученные результаты и новизна

Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем: 1 Исследованы свойства почти омега-категоричных слабо о-минимальных теорий ранга выпуклости 1. 2 Доказана ортогональность произвольного семейства попарно слабо ортогональных 1-типов для почти омега-категоричных слабо о-минимальных теорий ранга выпуклости 1. 3 Доказано что почти омега-категоричные слабо о-минимальные теории ранга выпуклости 1 являются бинарными.

Основные конструктивные и технико экономические показатели

Все запланированные задания согласно календарному плану выполнены в срок и качественно. Проведенные исследования носили чисто теоретический, фундаментальный характер. За отчетный период опубликованы 9 работ, в том числе 1 статья в журнале «Eurasian mathematical Journal», входящем в базу Scopus; 8 тезисов международных конференций.

Область применения

Полученные результаты могут быть использованы для дальнейших исследований в теории моделей, а также в других разделах математики. Результаты исследований применимы и в таких разделах компьютерных наук, как общая теория реляционных баз данных, гибридные системы и формальные методы исследования информационных систем.

Реферат (Абстракт) - 2021 год

Объект исследования, разработки или проектирования

Объектом исследования являются слабо о-минимальные теории, почти омега-категоричные упорядоченные теории, алгебры распределения изолирующих бинарных формул, Р-комбинации и Е-комбинации.

Цель работы

Цель проекта – исследование теоретико-модельных свойств упорядоченных структур, а также их элементарных теорий, их описание и классификация.

Методы исследования

Методами исследований являются классические методы теории моделей, в частности, методы исследования упорядоченных структур, такие как описание моделей посредством анализа поведения определимых унарных функций, исследование моделей посредством классификации по введенному рангу выпуклости и другие.

Полученные результаты и новизна

Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем: 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 – в казахстанском журнале (Kazakh Mathematical Journal); 22 статьи и тезисы в сборниках материалов международных конференций.

Область применения

Полученные результаты могут быть использованы для дальнейших исследований в теории моделей, а также в других разделах математики. Результаты исследований применимы и в таких разделах компьютерных наук, как общая теория реляционных баз данных, гибридные системы и формальные методы исследования информационных систем.