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