Разработка логических аспектов баз данных информационных систем
Руководитель проекта: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0207РК01084
Регистрационный номер: 0106РК00526
Ключевые слова: Информационные системы, Базы данных,
Доказано, что о-стабильная теория не обладает свойством независимости. Введены критерий о-стабильности теории без свойства независимости, понятие о{n}-стабильной теории. Найдена конструкция, позволяющая превращать произвольную счетную абелеву группу без кручения конечного ранга Морли в сильно о-омега-стабильную упорядоченную группу.