Максимальное число счётных неизоморфных моделей для линейно упорядоченных теорий без равномерно определимого плотно упорядоченного семейства выпуклых отношений эквивалентности
Full Name of the work head: Замбарная Татьяна Сергеевна
Исполнители проекта:
: Республиканское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования"
Inventory number: 0220РК01638
Registration number: 0120РК00336
Keywords: Теория моделей,Малая теория,Счётная модель,Семейства полных 1-типов,Линейный порядок,Гипотеза Воота
Цель исследования: для класса малых теорий с определимым линейным порядком установить условия на семейства 1-формул и 2-формул, обеспечивающие максимальное число счётных попарно неизоморфных моделей.
