Связи между счетными и определимо минимальными математическими структурами, их расширениями, обогащениями
Руководитель проекта: А.Т.Нуртазин
Исполнители проекта: К.А.Мейрембеков
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0211РК01062
Регистрационный номер: 0109РК00796
Ключевые слова: Математические структуры,
Получены новые критерии экзистенциальной замкнутости моделей произвольной универсальной теории. Введено понятие элементарной замкнутости модели индуктивной теории. Доказано, что подкласс позитивно экзистенционально замкнутых моделей конечно h-универсально аксиоматезируемого класса в предикатной сигнатуре аксиоматизируем.