Свойства типов в зависимых теориях
Жетекшінің аты-жөні, тегі: Кальменов Т.Ш.
Work head: Байжанов Б.С., Вербовский В.В., Макферсон Д., Алибек А., Даркенбаева Г.С., Замбарная Т.С., Ершигешова А.Д., Тазабекова Н.С., Умбетбаев О.А., Байжанов С.С., Саулебаева Т.Ж.
: Институт математики и математического моделирования
Инвентарлық номер: 0215РК02584
Тіркелген номер: 0115РК00650
негізгі сөздер: теория моделей*определимость типа*расширения моделей*слабо о-минимальные теории*упорядоченно стабильные теории*зависимые теории
Исследованы свойства типов в различных классах зависимых теорий, свойства определимости типов для слабо о-минимальных и упорядоченно стабильных классов зависимых теорий. Описаны классы зависимых теорий для которых слабая ортогональность совпадает с почти ортогональностью. Для слабо о-минимальных теорий получен критерий определимости n-типов. Доказана теорема об определимости 1-типов в упорядоченно стабильных теориях. Для того, чтобы 1-тип в квази о-минимальной теории был определим необходимо и достаточно, чтобы была определима его выпуклая оболочка. Найдено условие, обеспечивающее для пары моделей зависимой теории одновременную определимость всех 1-типов и n-типов реализуемых в большей модели. Выделены классы зависимых теорий, для которых определимость 1-типов над моделью влечет определимость всех типов над моделью, реализуемых в большей модели.
