Алгебраические и теоретико-модельные свойства частично упорядоченных структур
Руководитель проекта: Амиргалиева С.Н.
Исполнители проекта: Вербовский В.В.*
Организация: Университет им. Сулеймана Демиреля
Инвентарный номер: 0213РК02891
Регистрационный номер: 0112РК02894
Ключевые слова: теория моделей*логика предикатов первого порядка*упорядоченные структуры*о-минимальность*теорема Гильберта*
Изучены варианты о-минимальности для частично упорядоченных алгебраических структур, в том числе решеточно и булево упорядоченных структур и слабых Йордановых алгебр. Полученные результаты являются новыми, носят фундаментальный, теоретический характер. Доказана локальная монотонность и непрерывность одноместных функций, определимых в частично упорядоченных группах. Доказана коммутативность ро-максимальных частично упорядоченных групп. Найдена формула полилинейной части для ALIA-алгебр. В работе применены общие методы, методы логики предикатов первого порядка, методы алгебры, методы теории моделей.*