Реттелген және генерикалық құрылымдар, сонымен қатар элементарлық теориялары үшін негізгі және туынды объекттері
Руководитель проекта: Кулпешов Бейбут Шайыкович
Исполнители проекта: Кулпешов Б.Ш., Судоплатов С.В. и др.
Организация: Международный университет информационных технологий
Инвентарный номер: 0218РК00053
Регистрационный номер: 0118РК00505
Ключевые слова: СЛАБАЯ О-МИНИМАЛЬНОСТЬ, ПОЧТИ СЧЕТНАЯ КАТЕГОРИЧНОСТЬ, ВПОЛНЕ О-МИНИМАЛЬНОСТЬ, ГЕНЕРИЧЕСКАЯ СТРУКТУРА, АЛГЕБРА РАСПРЕДЕЛЕНИЯ БИНАРНЫХ ФОРМУЛ
"Исследованы свойства почти w-категоричных вполне о-минимальных теорий. В частности, исследовано поведение 2-формул, так называемых р-стабильных выпуклых вправо (влево) формул. Доказано что любая такая формула должна порождать отношение эквивалентности с выпуклыми классами. Доказана ортогональность произвольного семейства попарно слабо ортогональных 1-типов для почти w-категоричных вполне о-минимальных теорий. Доказано что почти w-категоричные вполне о-минимальные теории являются бинарными.
Описано распределение счетных моделей для вполне о-минимальных эренфойхтовых теорий.
"