Национальные ресурсы / Отчеты о НИР

Максимальное число счётных неизоморфных моделей для линейно упорядоченных теорий без равномерно определимого плотно упорядоченного семейства выпуклых отношений эквивалентности

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