Руководитель проекта: Вербовский Виктор Валериевич
Исполнители проекта:
Организация: Некоммерческое акционерное общество "Казахский Национальный Исследовательский технический университет имени К.И. Сатпаева"
Инвентарный номер: 0322РК00616
Регистрационный номер: 0121РК00374
Ключевые слова: алгебраическое замыкание,генерическая модель,конструкция Фраиссе,конструкция Хрушовского,определимое замыкание,сильно минимальные теории,теория моделей,теория стабильности
4. Мы получили описание новых сильно минимальных теорий, которые не допускают элиминацию воображаемых элементов. 5. Мы нашли условия, в том числе на функцию mu, гарантирующие что не существует определимой функции от n независимых переменных. 6. Мы нашли условия, в том числе на функцию mu, гарантирующие что не существует определимой симметрической функции от n независимых переменных. 8. Мы описали структуру алгебраического замыкания в новых сильно минимальных теориях.
Все результаты новые.