Разработка логических аспектов баз данных информационных систем
Full Name of the work head: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
: Ин-т пробл. информат. и упр.
Inventory number: 0208РК01019
Registration number: 0106РК00526
Keywords: Информационные системы, Базы данных, Группы [мат.], Абелевы группы,
Доказано, что о-стабильная теория не обладает свойством независимости. Введено понятие о-стабильной теории. Найдена конструкция, позволяющая превращать произвольную счетную абелеву группу без кручения конечного ранга Морли в сильно о-омега-стабильную упорядоченную группу. Получен критерий бинарности счетно-категоричных слабо о-минимальных теорий. Обогащение модели суперстабильной теории множеством неразличимостей стабильно. Чистый линейный порядок о-суперстабилен.