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