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