Свойства типов в зависимых теориях
Руководитель проекта: Кальменов Т.Ш.
Исполнители проекта: Байжанов Б.С., Вербовский В.В., Замбарная Т.С. и др.
Организация: Институт математики и математического моделирования
Инвентарный номер: 0217РК02205
Регистрационный номер: 0115РК00650
Ключевые слова: зависимые теории
Выделены условия, обеспечивающие слабую приемлемость множества A. Определены классы полных стабильных теорий, удовлетворяющие условию, что равенство сильных типов двух кортежей над любым множеством A влечет равенство типов этих кортежей в языке, обогащенном унарным предикатом, выделяющим множество A.