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