Исследование свойств обобщенно-йонсоновских теорий
Руководитель проекта: Жетписов К.
Исполнители проекта:
Организация: Ин-т прикл.мат.г.Караганды
Инвентарный номер: 0298РК00639
Регистрационный номер: 0197РК00311
Ключевые слова: йонсоновские, теории, синтаксис, семантика, исследование, свойства, косемантичность, теоремы, Лось-Воот, Линдстрем,
Объект исследования: йонсоновские теории, взаимосвязь между их синтаксисом и семантикой, а также -подобие. Цель: изучение групп, колец, полигонов упорядоченых структур, описание связей между различными видами пополнений йонсоновских теорий. Исследована взаимосвязь между косемантичностью и форсинг-косемантичностью (взаимной модельной совместностью). Изучен вопрос о существовании минимальной йонсоновской теорией. Относительно -подобия получены обобщения известных классических теорем Лося-Воота, Линдстрем, Воота.