Full Name of the work head: Байжанов Саян Саматович
Исполнители проекта:
: "Институт математики и математического моделирования"
Inventory number: 0322РК01262
Registration number: 0122РК00831
Keywords: Обогащение моделей,Определимость типов,Слабо о-минимальные теории,стабильные теории,Теория моделей,Упорядоченно стабильные теории
1) Построен пример обогащения (супер) стабильной теории предикатом, определяемыми бесконечным семейством формул не сохраняющий (супер) стабильность.
Подготовлена публикация
2) Была оформлена диссертация PhD, а также проведена защита диссертации.
Диплом PhD № 00022390593.
