Полные теории с конечным числом счетных моделей. I

Приводится синтаксическая характеризация класса элементарных полных теорий с конечным числом счетных моделей, которая является аналогом известной теоремы Рыль-Нардзевского о счетно категоричных теориях и основывается на классификации теорий по квазипорядкам Рудина–Кейслера и функциям распределения числа предельных над типами моделей.