Зависимые теории: обогащение моделей и счетный спектр
Full Name of the work head: Байжанов Б.С.
Исполнители проекта: Вербовский В.В.
: Институт математики и математического моделирования
Inventory number: 0212РК01469
Registration number: 0112РК00601
Keywords: Теория моделей, Число счетных структур,
Исследовано решение проблемы Воота для различных классов теорий без свойства независимости. Рассматривается возможность нахождения необходимых и достаточных условий сохранения спектра и таких свойств, как стабильность, зависимость и др., при обогащении модели неформульными отношениями.