За отчётный период получены следующие результаты: Для класса теорий, в которых все выпуклые тип-сохраняющие 2-формулы образуют отношения эквивалентности были установлены условия, при которых задача подсчёта числа счётных неизоморфных моделей сводится к общему случаю искусственным введением линейного порядка при условии бесконечности числа взаимно плотных формул в 1-типе. Для класса теорий, не удовлетворяющих найденному условию и в которых все выпуклые тип-сохраняющие 2-формулы образуют отношения эквивалентности, было установлено число счётных неизоморфных моделей при условии бесконечности числа взаимно плотных формул в 1-типе. Новизна: все результаты являются новыми и базируются на собственных разработках и методах.