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