Однородные модели и стабильные диаграммы

Изучен некоторый фрагмент теории стабильности в категории $D$-множеств. Приведены условия существования $D$-однородных моделей сколь угодно больших мощностей. Доказана теорема категоричности для класса $(D,\lambda)$-однородных моделей.