Зависимые теории: обогащение моделей и счетный спектр
Руководитель проекта: Байжанов Б.С.
Исполнители проекта: Вербовский В.В.
Организация: Институт математики и математического моделирования
Инвентарный номер: 0212РК01469
Регистрационный номер: 0112РК00601
Ключевые слова: Теория моделей, Число счетных структур,
Исследовано решение проблемы Воота для различных классов теорий без свойства независимости. Рассматривается возможность нахождения необходимых и достаточных условий сохранения спектра и таких свойств, как стабильность, зависимость и др., при обогащении модели неформульными отношениями.