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