Консервативные расширения, счетные упорядоченные модели и операторы замыкания
Full Name of the work head: Байжанов Бектур Сембиулы
Исполнители проекта:
: Республиканское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования"
Inventory number: 0218РК01129
Registration number: 0118РК00377
Keywords: Полные теории,Алгебраические замыкания,Определимость типа,Расширение сигнатуры,Упорядоченные структуры
Цель работы – исследование теоретико-модельных свойств консервативных расширений, счетных упорядоченных моделей и операторов замыкания.
