Структурные свойства почти омега-категоричных упорядоченных теорий
Full Name of the work head: Кулпешов Бейбут Шайыкович
Исполнители проекта:
: АО «Казахстанско-Британский технический университет»
Inventory number: 0222РК00015
Registration number: 0120РК00490
Keywords: бинарность,почти омега-категоричность,ранг выпуклости,слабая о-минимальность,упорядоченная структура
Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем:
1 Исследованы свойства почти омега-категоричных слабо о-минимальных теорий ранга выпуклости 1. В рамках данного класса теорий доказаны ортогональность произвольного семейства попарно слабо ортогональных 1-типов и их бинарность.
2 Доказана ортогональность произвольного семейства попарно слабо ортогональных 1-типов для почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости.
3 Получен критерий бинарности почти омега-категоричных слабо о-минимальных теорий в терминах ранга выпуклости. В качестве следствия установлена бинарность почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости.
4 Описаны алгебры бинарных изолирующих формул для почти омега-категоричных слабо о-минимальных теорий. В качестве следствия получено описание таких алгебр для почти омега-категоричных слабо о-минимальных теорий конечного ранга выпуклости.
5 Исследованы свойства Р-комбинаций и Е-комбинаций почти омега-категоричных слабо о-минимальных теорий.
