Исследование свойств обобщенно-йонсоновских теорий
Руководитель проекта: Жетписов К.
Исполнители проекта:
Организация: Ин-т прикл.мат.
Инвентарный номер: 0297РК00867
Регистрационный номер: 0197РК00311
Ключевые слова: йонсоновские, теории, исследование, свойства, семантические, модели, критерии,
Объект исследования: обобщенно йонсоновские теории -подобие теории и число автомарфизмов моделей. Цель: построение семантической модели и получение критериев современности произвольных йонсоновских теорий, косемантичности моделей и йонсоновской эквивалентности. Даны примеры W1-категоричных теорий с обобщенным автоморфизмом уровня для любого n N.