Зависимые теории: обогащение моделей и счетный спектр
Full Name of the work head: Кальменов Т.Ш.
Исполнители проекта: Байжанов Б.С.*
: Институт математики и математического моделирования
Inventory number: 0213РК02236
Registration number: 0112РК00601
Keywords: теория моделей*число счетных структур*упорядоченные структуры*слабо о-минимальные структуры*квази о-минимальные структуры*
Рассмотрены методы исследования теорий без свойства независимости на основе аппарата относительной стабильности и применение этих методов к описанию различных классов полных зависимых теорий, чей счетный спектр не является максимальным. Найдены необходимые и достаточные условия зависимости теории в терминах относительной стабильности. Получен критерий того, что самоопределимое множество счетно-категоричной слабо о-минимальной структуры является хорошим. Найдены необходимые и достаточные условия определимости 1-типа над моделью стабильной с точностью до дельта теории. Описан счетный спектр квази о-минимальных теорий.*
