Структурные свойства почти омега-категоричных упорядоченных теорий
Руководитель проекта: Кулпешов Бейбут Шайыкович
Исполнители проекта:
Организация: АО «Казахстанско-Британский технический университет»
Инвентарный номер: 0220РК01672
Регистрационный номер: 0120РК00490
Ключевые слова: слабая о-минимальность,ранг выпуклости,почти омега-категоричность,бинарность,упорядоченная структура
1. Исследовать свойства почти омега-категоричных упорядоченных теорий.
2. Описать алгебры бинарных изолирующих формул для почти омега-категоричных упорядоченных теорий.
3. Исследовать свойства Р-комбинаций и Е-комбинаций почти омега-категоричных упорядоченных теорий.