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