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