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