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